747 search results - page 22 / 150 » Consequence Relations In DRT |
132
Voted
TCS
2008
15 years 9 days ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
129
Voted
LICS
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
108
click to vote
LOGCOM
2010
15 years 8 days ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
101
click to vote
MODELS
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
134
Voted
ORDER
2010
15 years 8 days ago
2010
We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomple...