SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

DOI10.1017/S1755020318000503MaRDI QIDQ5216975

Emmanuel Chemla, Paul Égré

Publication date: 20 February 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.08017

zbMATH Keywords

logical consequencecompositionalityalgebraic logicmany-valued logicsubstructural logicstruth-functionalitytruth valueSuszko's thesismixed consequenceregular connectives

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract algebraic logic (03G27)

Related Items

Неклассический взгляд на природу значений истинности, De Finettian logics of indicative conditionals. I: Trivalent semantics and validity, De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics, Editorial introduction: substructural logics and metainferences, One step is enough, From many-valued consequence to many-valued connectives, A UNIFIED THEORY OF TRUTH AND PARADOX, SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY, Metainferential duality, Disjoint Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Tolerance and mixed consequence in the S'valuationist setting
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Taking degrees of truth seriously
• What is a non-truth-functional logic?
• Theory of logical calculi. Basic theory of consequence operations
• Matrix approach in methodology of sentential calculi
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Many-valued logics and Suszko's thesis revisited
• Valuations: bi, tri, and tetra
• Some theorems on abstract logics
• Algebraizable logics
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• On the ‘transitivity’ of consequence relations
• From the subformula property to cut-admissibility in propositional sequent calculi
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• OUP accepted manuscript