Gentzen-type methods for bilattice negation
type: Item
instance of: scholarly article
title: Gentzen-type methods for bilattice negation
zbMATH Open document ID: 1086.03025
author: Norihiro Kamide
published in: Studia Logica
publication date: 2006-01-30T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 5002531
zbMATH Keywords: Bilattice negation
zbMATH Keywords: strong negation
zbMATH Keywords: sequent calculus
zbMATH Keywords: substructural logic
zbMATH Keywords: completeness
MaRDI profile type: Publication
full work available at URL: s11225-005-8471-x
OpenAlex ID: W2087134464
cites work: Constructible falsity and inexact predicates
cites work: The value of the four values
cites work: Reasoning with logical bilattices
cites work: Negation: Two points of view
cites work: Q3858244
cites work: Subtractive logic
cites work: Bilattices and the semantics of logic programming
cites work: Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
cites work: Linear logic
cites work: Relevance Principle for Substructural Logics with Mingle and Strong Negation
cites work: Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
cites work: Quantized linear logic, involutive quantales and strong negation
cites work: Combining Soft Linear Logic and Spatio-temporal Operators
cites work: Q4678356
cites work: Constructible falsity
cites work: Q3367330
cites work: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
cites work: Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
cites work: Introduction: Paraconsistent logics
cites work: Evidential bilattice logic and lexical inference
cites work: The Trilattice of Constructive Truth Values
cites work: Logic Programming with Strong Negation and Inexact Predicates
cites work: The logic of information structures
cites work: Displaying the modal logic of consistency
DOI: 10.1007/S11225-005-8471-X
description: scientific article; zbMATH DE number 5002531