Gentzenization of trilattice logics

DOI10.1007/S11225-016-9658-ZzbMATH Open1417.03183OpenAlexW2336616711MaRDI QIDQ332076FDOQ332076

Authors: 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

Recommendations

• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• Completeness and cut-elimination theorems for trilattice logics
• On Gentzen relations associated with finite-valued logics preserving degrees of truth
• Intuitionistic Trilattice Logics
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)

zbMATH Keywords

falsity entailmenttruth entailmentsequent calculustrilattice

Mathematics Subject Classification ID

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

Cites Work

• 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
• Some useful 16-valued logics: How a computer network should think
• Proof theory
• Sequent calculus for the intersection of LK and the reversed
• Completeness and cut-elimination theorems for trilattice logics

Cited In (4)

• Interpolation in 16-valued trilattice logics
• Completeness and cut-elimination theorems for trilattice logics
• Intuitionistic Trilattice Logics
• Gentzenizations of relevant logics with distribution

This page was built for publication: Gentzenization of trilattice logics

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