A hierarchy of weak double negations

DOI10.1007/S11225-013-9533-0MaRDI QIDQ2016059zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 19 June 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9533-0

zbMATH Keywords

completenesscut-eliminationdouble negation axiomparaconsistent negationweak double negation axiom

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
• Negation and paraconsistent logics
• Paraconsistent double negations as classical and intuitionistic negations
• Weakening and extending \(\mathbb{Z}\)
• Constructive negation, implication, and co-implication

Cites work

• A non-deterministic view on non-classical negations
• Constructible falsity
• Constructible falsity and inexact predicates
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Limits for paraconsistent calculi
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Proof systems combining classical and paraconsistent negations
• Reasoning with logical bilattices
• Some useful 16-valued logics: How a computer network should think
• The logic of information structures
• The value of the four values

Cited in

(10)

• Adjoint negations, more than residuated negations
• Modal multilattice logic
• Paraconsistent double negations as classical and intuitionistic negations
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• On negation: Pure local rules
• Taming paraconsistent (and other) logics: an algorithmic approach
• scientific article; zbMATH DE number 3908413 (Why is no real title available?)
• scientific article; zbMATH DE number 7297101 (Why is no real title available?)
• Symmetric and conflated intuitionistic logics
• Proof theory of abelian connexive logics

This page was built for publication: A hierarchy of weak double negations

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