Intuitionistic Trilattice Logics

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

zbMATH Keywords

Kripke semanticsintuitionistic logiccut-eliminationco-implicationsequent calculitableau calculitrilattice \(SIXTEEN_{3}\)trilattice logics

Mathematics Subject Classification ID

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