Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
From MaRDI portal
Publication:5027251
DOI10.1007/978-3-030-71430-7_21MaRDI QIDQ5027251
Francis Jeffry Pelletier, Allen P. Hazen
Publication date: 4 February 2022
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-71430-7_21
intuitionistic logic; conditionals; disjunctions; many-valued logics; first-degree entailment; substitutivity in many-valued logics
Cites Work
- Inconsistent models of arithmetic. I: Finite models
- Semantic analysis of orthologic
- Pecularities of some three- and four-valued second order logics
- Second-order logic of paradox
- 40 years of FDE: an introductory overview
- Inconsistent models of arithmetic Part II: the general case
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- An Interpretation of Many-Valued Logic
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Constructible falsity
- Recursive Functions and Intuitionistic Number Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item