An Inferentially Many-Valued Two-Dimensional Notion of Entailment

DOI10.18778/0138-0680.46.3.4.05zbMath1423.03068OpenAlexW2811486295WikidataQ129617914 ScholiaQ129617914MaRDI QIDQ4576064

Heinrich Wansing, João Marcos, Carolina Blasio

Publication date: 12 July 2018

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.46.3.4.05

zbMATH Keywords

inferential many-valuedness\(p\)-entailment\(\mathsf B\)-consequence relations\(\mathsf B\)-matrices\(q\)-entailmentmonotonic consequence relationsSuszko reductiontwo-dimensional entailment

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Related Items

Неклассический взгляд на природу значений истинности, Proof search on bilateralist judgments over non-deterministic semantics, Questions to Michael Dunn, An ecumenical notion of entailment, Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic, What is a logical theory? On theories containing assertions and denials, Knot is not that nasty (but it is hardier than tonk), Editorial introduction: substructural logics and metainferences, One step is enough, Tarskian consequence relations bilaterally: some familiar notions, The nature of entailment: an informational approach, (Meta)inferential levels of entailment beyond the Tarskian paradigm, Two traditions in abstract valuational model theory, From many-valued consequence to many-valued connectives, Valuations: bi, tri, and tetra, SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY, A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES, Finite two-dimensional proof systems for non-finitely axiomatizable 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
• Truth and falsehood. An inquiry into generalized logical values
• 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
• Beyond three inferential values
• What is a non-truth-functional logic?
• Theory of logical calculi. Basic theory of consequence operations
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Inferential intensionality
• Inferential paraconsistency
• Some remarks on the consequence operation in sentential logics
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness