5122 search results - page 168 / 1025 » Comparing Consequence Relations |
145
Voted
LICS
2010
IEEE
15 years 1 months 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...
118
Voted
LOGCOM
2010
15 years 1 months 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...
114
Voted
MODELS
2010
Springer
15 years 1 months 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...
150
click to vote
ORDER
2010
15 years 1 months 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...
122
Voted
ACL
2009
15 years 1 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...