Gentzenization of trilattice logics

DOI10.1007/s11225-016-9658-zzbMath1417.03183OpenAlexW2336616711MaRDI QIDQ332076

Mitio Takano

Publication date: 27 October 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9658-z

zbMATH Keywords

sequent calculustrilatticefalsity entailmenttruth entailment

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Interpolation in 16-valued trilattice logics

Cites Work

• Completeness and cut-elimination theorems for trilattice logics
• Some useful 16-valued logics: How a computer network should think
• On axiomatizing Shramko-Wansing's logic
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• The logic of generalized truth values and the logic of bilattices
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• Proof theory
• Unnamed Item