Paraconsistent double negation as a modal operator

DOI10.1002/MALQ.201500042MaRDI QIDQ2958215zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 1 February 2017

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201500042

zbMATH Keywords

Kripke semanticsmodal operatorsparaconsistent negationsequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Paraconsistent logic from a modal viewpoint
• Modal logic S4 as a paraconsistent logic with a topological semantics
• scientific article; zbMATH DE number 3981153
• Paraconsistent double negations as classical and intuitionistic negations
• Double negation operator in logic N^*

Cites work

• Constructible falsity
• Constructible falsity and inexact predicates
• FINITENESS OF $ \textit{Ø}$ OVER TOTALLY REAL FIELDS
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Paraconsistent logic from a modal viewpoint
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Reasoning with logical bilattices
• The value of the four values

Cited in

(5)

• Paraconsistent double negations as classical and intuitionistic negations
• scientific article; zbMATH DE number 5997427 (Why is no real title available?)
• Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
• scientific article; zbMATH DE number 3981153 (Why is no real title available?)
• Negative modalities in the light of paraconsistency

This page was built for publication: Paraconsistent double negation as a modal operator

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