Intuitionistic Trilattice Logics
From MaRDI portal
Publication:3069727
DOI10.1093/logcom/exp081zbMath1205.03034OpenAlexW2093615146MaRDI QIDQ3069727
Norihiro Kamide, Heinrich Wansing
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
Kripke semanticsintuitionistic logiccut-eliminationco-implicationsequent calculitableau calculitrilattice \(SIXTEEN_{3}\)trilattice logics
Logical aspects of lattices and related structures (03G10) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)
Related Items (3)
Completeness and cut-elimination theorems for trilattice logics ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
This page was built for publication: Intuitionistic Trilattice Logics
