529 search results - page 3 / 106 » An Analytic Logic of Aggregation |
EUSFLAT
2009
13 years 5 months ago
2009
AML
2004
13 years 7 months ago
2004
Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL ...
CSL
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
EUSFLAT
2009
13 years 5 months ago
2009
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...