SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

DOI10.1017/S1755020318000503MaRDI QIDQ5216975zbMATH OpenFDO

Authors 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

many-valued logicsubstructural logicscompositionalityalgebraic logiclogical consequencetruth-functionalitytruth valueSuszko's thesismixed consequenceregular connectives

Mathematics Subject Classification ID

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

Recommendations

• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Characterizing logical consequence in many-valued logic
• Many-valued logics and Suszko's thesis revisited
• Beyond mixed logics
• scientific article; zbMATH DE number 2196615

Cites work

• scientific article; zbMATH DE number 3829860 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 475183 (Why is no real title available?)
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• scientific article; zbMATH DE number 2070193 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• Algebraizable logics
• An inferentially many-valued two-dimensional notion of entailment
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Characterizing logical consequence in many-valued logic
• From the subformula property to cut-admissibility in propositional sequent calculi
• Many-valued logics and Suszko's thesis revisited
• Many-valuedness meets bivalence: using logical values in an effective way
• Matrix approach in methodology of sentential calculi
• On the `transitivity' of consequence relations
• Remarks on Łukasiewicz's three-valued logic
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Some theorems on abstract logics
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Taking degrees of truth seriously
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Theory of logical calculi. Basic theory of consequence operations
• Tolerance and mixed consequence in the S'valuationist setting
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Valuations: bi, tri, and tetra
• What is a non-truth-functional logic?

Cited in

(19)

• Non-Fregean world of logics
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
• Неклассический взгляд на природу значений истинности
• Metainferential duality
• Probabilistic consequence relations
• Editorial introduction
• On three-valued presentations of classical logic
• From many-valued consequence to many-valued connectives
• Categoricity problem for LP and K3
• Beyond mixed logics
• Suszko's Problem: Mixed Consequence and Compositionality
• Editorial introduction: substructural logics and metainferences
• One step is enough
• A UNIFIED THEORY OF TRUTH AND PARADOX
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
• Disjoint logics
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

This page was built for publication: SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216975)