Paraconsistent double negation as a modal operator

DOI10.1002/MALQ.201500042zbMATH Open1375.03029OpenAlexW2562511122MaRDI QIDQ2958215FDOQ2958215

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 semanticssequent calculusmodal operatorsparaconsistent negation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Paraconsistent double negations as classical and intuitionistic negations

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)