Paraconsistent double negations as classical and intuitionistic negations
From MaRDI portal
Publication:1685568
DOI10.1007/s11225-017-9731-2zbMath1417.03193OpenAlexW2619935969MaRDI QIDQ1685568
Publication date: 14 December 2017
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9731-2
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)
Related Items
ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ An infinity of intuitionistic connexive logics ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Double negation as minimal negation ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ A Note on Ciuciura’s mbC1 ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classical negation and expansions of Belnap-Dunn logic
- The class of extensions of Nelson's paraconsistent logic
- Intuitionistic logic with strong negation
- Paraconsistent logic from a modal viewpoint
- Intuitive semantics for first-degree entailments and `coupled trees'
- A hierarchy of weak double negations
- Paraconsistent double negation as a modal operator
- Embedding from multilattice logic into classical logic and vice versa
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- Constructible falsity and inexact predicates
- Trilattice logic: an embedding-based approach
- Constructible falsity
This page was built for publication: Paraconsistent double negations as classical and intuitionistic negations
