SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
From MaRDI portal
Publication:3395332
DOI10.1017/S1755020309090212zbMATH Open1174.03008MaRDI QIDQ3395332FDOQ3395332
Authors: Norihiro Kamide, Heinrich Wansing 
Publication date: 26 August 2009
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
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
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)
Cites Work
- On axiomatizing Shramko-Wansing's logic
- Some useful 16-valued logics: How a computer network should think
- Title not available (Why is that?)
- Constructible falsity
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Constructible falsity and inexact predicates
- Intuitionistic logic with strong negation
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
- Gentzen-type methods for bilattice negation
Cited In (16)
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
- Sequent calculi for choice logics
- On axiomatizing Shramko-Wansing's logic
- Interpolation in 16-valued trilattice logics
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
- Title not available (Why is that?)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- Finite sequent calculi for PLTL
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- Gentzenization of trilattice logics
- Completeness and cut-elimination theorems for trilattice logics
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- A cut-free system for 16-valued reasoning
- Trilattice logic: an embedding-based approach
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)
