Gentzen-type methods for bilattice negation

DOI10.1007/S11225-005-8471-XMaRDI QIDQ813084zbMATH OpenOpenAlexFDO

Authors 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

Bilattice negationcompletenesssequent calculusstrong negationsubstructural logic

Mathematics Subject Classification ID

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

Recommendations

• Bilattice logic properly displayed
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Some lattice models of bilinear logic
• An extended first-order Belnap-Dunn logic with classical negation
• Completeness and cut-elimination theorems for trilattice logics

Cites work

• Bilattices and the semantics of logic programming
• Combining Soft Linear Logic and Spatio-temporal Operators
• Constructible falsity
• Constructible falsity and inexact predicates
• Displaying the modal logic of consistency
• Evidential bilattice logic and lexical inference
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• scientific article; zbMATH DE number 5000988 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 2170854 (Why is no real title available?)
• Introduction: Paraconsistent logics
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Linear logic
• Logic Programming with Strong Negation and Inexact Predicates
• Negation: Two points of view
• 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
• Relevance Principle for Substructural Logics with Mingle and Strong Negation
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Subtractive logic
• The logic of information structures
• The Trilattice of Constructive Truth Values
• The value of the four values

Cited in

(4)

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

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

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