arXiv
Open Access
2025
Interpolation in Non-Classical Logics
Wesley Fussner
Abstrak
This chapter surveys some of the main results on interpolation in several of the most prominent families of non-classical logics. Special attention is given to the distinction between the two most commonly studied variants of interpolation--namely, Craig interpolation and deductive interpolation. Our discussion focuses primarily on how these properties present in families of logical systems taken as a whole, particularly those comprising all axiomatic extensions of any of several notable non-classical logics. We consider a range of important examples: superintuitionistic and modal logics, fuzzy logics, paraconsistent logics, relevant logics, and substructural logics.
Penulis (1)
W
Wesley Fussner
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2025
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓