Intuitionistic Trilattice Logics

DOI10.1093/LOGCOM/EXP081MaRDI QIDQ3069727zbMATHOpenAlexFDO

Authors Heinrich Wansing, Norihiro Kamide

Publication date 19 January 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exp081

zbMATH Keywords

tableau calculiintuitionistic logicsequent calculiKripke semanticscut-eliminationco-implicationtrilattice \(SIXTEEN_{3}\)trilattice logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 1028819
• scientific article; zbMATH DE number 1749196
• Intuitionistic three-valued logic and logic programming
• Intuitionistic conditional logics
• scientific article; zbMATH DE number 1418447
• Intuitionistic computability logic
• Intuitionistic fixed point logic
• scientific article; zbMATH DE number 6287649
• scientific article; zbMATH DE number 7585721
• Gentzenization of trilattice logics

Cited in

(12)

• Completeness and cut-elimination theorems for trilattice logics
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• Trilattice logic: an embedding-based approach
• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
• Maximal weakly-intuitionistic logics
• Truth-maker semantics for intuitionistic logic
• Interpolation in 16-valued trilattice logics
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• scientific article; zbMATH DE number 5235522 (Why is no real title available?)
• Gentzenization of trilattice logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• A cut-free system for 16-valued reasoning

This page was built for publication: Intuitionistic Trilattice Logics

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