Conditional excluded middle in systems of consequential implication
From MaRDI portal
Publication:815021
DOI10.1007/s10992-005-0555-6zbMath1086.03004MaRDI QIDQ815021
Publication date: 8 February 2006
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-005-0555-6
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
Cites Work
- Decision procedures for logics of consequential implication
- Intensional logics without iterative axioms
- Consequential implication: A correction
- Strong Boethius' thesis and consequential implication
- Aristotle's Thesis between paraconsistency and modalization
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item