Questions to Michael Dunn

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

zbMATH Keywords

paraconsistencynegationBelnap-Dunn logicnegation as cancellationAmerican planAustralian planNelson's constructive logics with strong negationdeminegationex contradictione nihil sequiturMichael Dunnnegation inconsistencyproof-theoretic bilateralismrule of contraposition

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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