Paraconsistent double negation as a modal operator
From MaRDI portal
Publication:2958215
DOI10.1002/MALQ.201500042zbMath1375.03029OpenAlexW2562511122MaRDI QIDQ2958215
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
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)
Related Items (1)
Cites Work
- Unnamed Item
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Intuitionistic logic with strong negation
- The value of the four values
- Paraconsistent logic from a modal viewpoint
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Constructible falsity and inexact predicates
- FINITENESS OF $ \textit{Ø}$ OVER TOTALLY REAL FIELDS
- Constructible falsity
This page was built for publication: Paraconsistent double negation as a modal operator
