Analytic tableaux for all of SIXTEEN₃

DOI10.1007/S10992-014-9337-3zbMATH Open1345.03050OpenAlexW1999426655MaRDI QIDQ253121FDOQ253121

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

Recommendations

• scientific article; zbMATH DE number 638364
• A NEW PROOF OF THE REALISATION OF CUBIC TABLEAUX
• The complexity of analytic tableaux
• The complexity of analytic tableaux
• scientific article; zbMATH DE number 2024627
• scientific article; zbMATH DE number 3286166
• scientific article; zbMATH DE number 1552522
• scientific article; zbMATH DE number 1618175
• Analytic representations in the three-dimensional Frobenius problem
• Tableau models for Schubert polynomials

zbMATH Keywords

falsity entailmentfunctional completenessinformation entailmenttableau calculitrilattice \(\mathrm{SIXTEEN}_3\)truth entailment

Mathematics Subject Classification ID

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

Cites Work

• lean\(T^ AP\): Lean tableau-based deduction
• On axiomatizing Shramko-Wansing's logic
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequents in many valued logic I
• 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

Cited In (2)

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

Uses Software

• leanTAP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q253121)