The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)

DOI10.1007/s10992-010-9139-1zbMath1200.03019OpenAlexW2002719201MaRDI QIDQ1959329

Heinrich Wansing

Publication date: 6 October 2010

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-010-9139-1

zbMATH Keywords

completenesssoundnessfalsity entailmenttruth entailmenttwist-structurecut-free sequent calculusgeneralized truth valuestrilattice \(SIXTEEN_3\)Belnap and Dunn's four-valued logicbilattice \(FOUR_2\)

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items (6)

Gentzenization of trilattice logics ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some useful 16-valued logics: How a computer network should think
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• On axiomatizing Shramko-Wansing's logic
• Labeled calculi and finite-valued logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Displaying modal logic
• Reasoning with logical bilattices
• Generalized truth values.: A reply to Dubois
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• A Remark on the Intersection of Tow Logics

This page was built for publication: The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)