Classifying material implications over minimal logic
From MaRDI portal
Publication:2204373
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
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