Gentzen-type methods for bilattice negation

DOI10.1007/s11225-005-8471-xzbMath1086.03025OpenAlexW2087134464MaRDI QIDQ813084

Norihiro Kamide

Publication date: 30 January 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-8471-x

zbMATH Keywords

completenesssequent calculussubstructural logicstrong negationBilattice negation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ Proof systems combining classical and paraconsistent negations ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Introduction: Paraconsistent logics
• The value of the four values
• The logic of information structures
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• Quantized linear logic, involutive quantales and strong negation
• Reasoning with logical bilattices
• Evidential bilattice logic and lexical inference
• Constructible falsity and inexact predicates
• Bilattices and the semantics of logic programming
• Logic Programming with Strong Negation and Inexact Predicates
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• The Trilattice of Constructive Truth Values
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Combining Soft Linear Logic and Spatio-temporal Operators
• Relevance Principle for Substructural Logics with Mingle and Strong Negation
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Displaying the modal logic of consistency
• Constructible falsity
• Subtractive logic

This page was built for publication: Gentzen-type methods for bilattice negation