2138 search results - page 27 / 428 » Logics for the Relational Syllogistic |
DLOG
2011
12 years 11 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
LICS
2010
IEEE
13 years 6 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...
FSS
2010
13 years 6 months ago
2010
Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...
COLING
1994
13 years 9 months ago
1994
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections...
ISMVL
2000
IEEE
14 years 6 days ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...