On three-valued presentations of classical logic
From MaRDI portal
Publication:6638231
DOI10.1017/S1755020323000114MaRDI QIDQ6638231
Damian Szmuc, Bruno Da Ré, Emmanuel Chemla, Paul Égré
Publication date: 14 November 2024
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Classical propositional logic (03B05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logics of strict-tolerant logic
- Tolerant, classical, strict
- Principles for object-linguistic consequence: from logical to irreflexive
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
- A family of strict/tolerant logics
- The logic of conditional negation
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- The Fregean axiom and Polish mathematical logic in the \(1920^s\)
- Introduction to a general theory of elementary propositions.
- Meaningless divisions
- Untersuchungen über das logische Schließen. I.
- Monstrous content and the bounds of discourse
- Formal inconsistency and evolutionary databases
- ST, LP and Tolerant Metainferences
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment
- Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- OUP accepted manuscript
- From many-valued consequence to many-valued connectives
This page was built for publication: On three-valued presentations of classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6638231)
