SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

DOI10.1017/S1755020309090212MaRDI QIDQ3395332zbMATH OpenFDO

Authors Norihiro Kamide, Heinrich Wansing

Publication date 26 August 2009

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020309090212

zbMATH Keywords

cut-eliminationsequent caculustrilattice logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Logical aspects of lattices and related structures (03G10)

Recommendations

• Intuitionistic Trilattice Logics
• Completeness and cut-elimination theorems for trilattice logics
• The logic of generalized truth values and the logic of bilattices
• On axiomatizing Shramko-Wansing's logic
• A cut-free system for 16-valued reasoning
• \(\mathrm{SIXTEEN}_3\) in light of routley stars
• Interpolation in 16-valued trilattice logics
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• Trilattice logic: an embedding-based approach
• Axiomatization of a basic logic of logical bilattices

Cites work

• Constructible falsity
• Constructible falsity and inexact predicates
• Gentzen-type methods for bilattice negation
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• On axiomatizing Shramko-Wansing's logic
• Reasoning with logical bilattices
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Some useful 16-valued logics: How a computer network should think

Cited in

(16)

• On axiomatizing Shramko-Wansing's logic
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Interpolation in 16-valued trilattice logics
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
• Sequent calculi for choice logics
• A non-inferentialist, anti-realistic conception of logical truth and falsity
• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
• Gentzenization of trilattice logics
• A cut-free system for 16-valued reasoning
• scientific article; zbMATH DE number 1950262 (Why is no real title available?)
• Finite sequent calculi for PLTL
• Trilattice logic: an embedding-based approach
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
• Completeness and cut-elimination theorems for trilattice logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective

This page was built for publication: SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

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