Questions to Michael Dunn

DOI10.21146/2074-1472-2021-27-1-9-19MaRDI QIDQ5059687zbMATH OpenOpenAlexFDO

Authors Heinrich Wansing, Grigory Olkhovikov, Hitoshi Omori

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

American planAustralian planBelnap-Dunn logicdeminegationex contradictione nihil sequiturMichael Dunnnegationnegation as cancellationnegation inconsistencyNelson's constructive logics with strong negationparaconsistencyproof-theoretic bilateralismrule of contraposition

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Defining double negation elimination
• Negation as falsity: A reply to Tennant
• Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
• scientific article; zbMATH DE number 2109244
• scientific article; zbMATH DE number 1255510

Cites work

• 40 years of FDE: an introductory overview
• A bilateral Hilbert-style investigation of 2-intuitionistic logic
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• A more general general proof theory
• An inferentially many-valued two-dimensional notion of entailment
• Beyond three inferential values
• Connexive logics. An overview and current trends
• Falsification, natural deduction and bi-intuitionistic logic
• scientific article; zbMATH DE number 67514 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3993533 (Why is no real title available?)
• Ideal paraconsistent logics
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• Negation by iteration
• Negation on the Australian plan
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• On negation: Pure local rules
• Partiality and its dual
• There is more to negation than modality
• Two, three, four, infinity: the path to the four-valued logic and beyond

Cited in

(1)

• scientific article; zbMATH DE number 39688 (Why is no real title available?)

This page was built for publication: Questions to Michael Dunn

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5059687)