Intuitionistic Trilattice Logics

DOI10.1093/LOGCOM/EXP081zbMATH Open1205.03034OpenAlexW2093615146MaRDI QIDQ3069727FDOQ3069727

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

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

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)

Cited In (12)

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

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)