Questions to Michael Dunn
From MaRDI portal
Publication:5059687
DOI10.21146/2074-1472-2021-27-1-9-19OpenAlexW3196783652MaRDI QIDQ5059687
Hitoshi Omori, Heinrich Wansing, Grigory K. Olkhovikov
Publication date: 16 January 2023
Published in: Logical Investigations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-1-9-19
paraconsistencynegationBelnap-Dunn logicnegation as cancellationAmerican planAustralian planNelson's constructive logics with strong negationdeminegationex contradictione nihil sequiturMichael Dunnnegation inconsistencyproof-theoretic bilateralismrule of contraposition
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ideal paraconsistent logics
- Beyond three inferential values
- 40 years of FDE: an introductory overview
- A more general general proof theory
- There is more to negation than modality
- On negation: Pure local rules
- Partiality and its dual
- Negation as cancellation, and connexive logic
- Negation on the Australian plan
- Falsification, natural deduction and bi-intuitionistic logic
- Negation as Cancellation, Connexive Logic, and qLPm
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
- Connexive logics. An overview and current trends
- Negation by iteration
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment
- A bilateral Hilbert-style investigation of 2-intuitionistic logic
This page was built for publication: Questions to Michael Dunn