Gentzenization of trilattice logics

DOI10.1007/S11225-016-9658-ZMaRDI QIDQ332076zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

falsity entailmenttruth entailmentsequent calculustrilattice

Mathematics Subject Classification ID

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

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 }\)

Cites work

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

Cited in

(4)

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

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)