Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)

DOI10.1007/s10992-014-9337-3zbMath1345.03050OpenAlexW1999426655MaRDI QIDQ253121

Stefan Wintein, Reinhard A. Muskens

Publication date: 8 March 2016

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

Full work available at URL: https://doi.org/10.1007/s10992-014-9337-3

zbMATH Keywords

functional completenessfalsity entailmentinformation entailmenttableau calculitrilattice \(\mathrm{SIXTEEN}_3\)truth entailment

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

The value of the one value: \textit{exactly true logic} revisited ⋮ Interpolation in 16-valued trilattice logics

Uses Software

• leanTAP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and falsehood. An inquiry into generalized logical values
• On partial and paraconsistent logics
• Some useful 16-valued logics: How a computer network should think
• On axiomatizing Shramko-Wansing's logic
• lean\(T^ AP\): Lean tableau-based deduction
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• A non-inferentialist, anti-realistic conception of logical truth and falsity
• The logic of generalized truth values and the logic of bilattices
• From bi-facial truth to bi-facial proofs
• Representation of interlaced trilattices
• Intuitionistic Trilattice Logics
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• Sequents in many valued logic I

This page was built for publication: Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)