From many-valued consequence to many-valued connectives

DOI10.1007/s11229-019-02344-0zbMath1525.03084arXiv1809.01066OpenAlexW2973186567WikidataQ127235646 ScholiaQ127235646MaRDI QIDQ6088601

Emmanuel Chemla, Paul Égré

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

logical consequencesequent calculusdeduction theoremalgebraic logicmany-valued logicsubstructural logicconditionalsstrict-tolerant logicconnectivestruth-functionalitytruth valuemixed consequence

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• A short introduction to clones.
• On all strong Kleene generalizations of classical logic
• Tolerant, classical, strict
• Generalizing functional completeness in Belnap-Dunn logic
• Why conclusions should remain single
• Truth and falsehood. An inquiry into generalized logical values
• Consequence mining. Constants versus consequence relations
• The determination of all Sheffer functions in 3-valued logic, using a logical computer
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• The logic of paradox
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Metamathematics of fuzzy logic
• Valuations: bi, tri, and tetra
• Unifying the philosophy of truth
• Natural 3-valued logics—characterization and proof theory
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• OUP accepted manuscript

This page was built for publication: From many-valued consequence to many-valued connectives