Classifying material implications over minimal logic

DOI10.1007/s00153-020-00722-xzbMath1466.03004arXiv1606.08092OpenAlexW3010532782MaRDI QIDQ2204373

Maarten McKubre-Jordens, Hannes Diener

Publication date: 15 October 2020

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.08092

zbMATH Keywords

implicationreverse mathematicsparaconsistent logicminimal logicex falso quodlibetPeirce's principle

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive negations and paraconsistency
• Negative equivalence of extensions of minimal logic
• On the structure of paraconsistent extensions of Johansson's logic
• Embedding classical in minimal implicational logic
• Intuitionistic implication without disjunction
• Interpolation and Definability in Extensions of the Minimal Logic
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
• On logics intermediate between intuitionistic and classical predicate logic

This page was built for publication: Classifying material implications over minimal logic