We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Characterizing logical consequence in many-valued logic.
- Authors
CHEMLA, EMMANUEL; ÉGRÉ, PAUL; SPECTOR, BENJAMIN
- Abstract
Several definitions of logical consequence have been proposed in many-valued logic, which coincide in the two-valued case, but come apart as soon as three truth values come into play. Those definitions include so-called pure consequence, order-theoretic consequence and mixed consequence. In this article, we examine whether those definitions together carve out a natural class of consequence relations. We respond positively by identifying a small set of properties that we see instantiated in those various consequence relations, namely truth-relationality, value-monotonicity, validity-coherence and a constraint of bivalence-compliance, provably replaceable by a structural requisite of nontriviality. Our main result is that the class of consequence relations satisfying those properties coincides exactly with the class of mixed consequence relations and their intersections, including pure consequence relations and order-theoretic consequence. We provide an enumeration of the set of those relations in finite many-valued logics of two extreme kinds: those in which truth values are well-ordered and those in which values between 0 and 1 are incomparable.
- Subjects
MANY-valued logic; MONOTONIC functions; MATHEMATICAL models; SEMANTIC computing; NONCLASSICAL mathematical logic
- Publication
Journal of Logic & Computation, 2017, Vol 27, Issue 7, p2193
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exx001