A hierarchy of weak double negations
type: Item
instance of: scholarly article
title: A hierarchy of weak double negations
zbMATH Open document ID: 1329.03064
author: Norihiro Kamide
published in: Studia Logica
publication date: 2014-06-19T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6305269
zbMATH Keywords: double negation axiom
zbMATH Keywords: weak double negation axiom
zbMATH Keywords: paraconsistent negation
zbMATH Keywords: cut-elimination
zbMATH Keywords: completeness
MaRDI profile type: Publication
full work available at URL: s11225-013-9533-0
OpenAlex ID: W1966601466
cites work: Constructible falsity and inexact predicates
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: A non-deterministic view on non-classical negations
cites work: Q3206928
cites work: Hyper-contradictions, generalized truth values and logics of truth and falsehood
cites work: Limits for paraconsistent calculi
cites work: Q4329287
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Intuitionistic logic with strong negation
cites work: Proof systems combining classical and paraconsistent negations
cites work: Possible-translations semantics for some weak classically-based paraconsistent logics
cites work: Constructible falsity
cites work: Q3858239
cites work: Some useful 16-valued logics: How a computer network should think
cites work: The logic of information structures
DOI: 10.1007/S11225-013-9533-0
description: scientific article; zbMATH DE number 6305269