Analytic tableaux for all of SIXTEEN₃

DOI10.1007/S10992-014-9337-3MaRDI QIDQ253121zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 1163565 (Why is no real title available?)
• scientific article; zbMATH DE number 777292 (Why is no real title available?)
• A calculus for Belnap's logic in which each proof consists of two trees
• A non-inferentialist, anti-realistic conception of logical truth and falsity
• From bi-facial truth to bi-facial proofs
• Intuitionistic Trilattice Logics
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• On axiomatizing Shramko-Wansing's logic
• On partial and paraconsistent logics
• Representation of interlaced trilattices
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• Sequents in many valued logic I
• Some useful 16-valued logics: How a computer network should think
• The logic of generalized truth values and the logic of bilattices
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• Truth and falsehood. An inquiry into generalized logical values
• lean\(T^ AP\): Lean tableau-based deduction

Cited in

(2)

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

Describes a project that uses

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)