4 papers · 1 filter
Maehara Interpolation in Extensions of R-mingle
Wesley Fussner, Krzysztof Krawczyk
We show that there are exactly five quasivarieties of Sugihara algebras with the amalgamation property, and that all of these have the relative congruence extension property. As a…
Interpolation in Non-Classical Logics
Wesley Fussner
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 betw…
Revisiting Interpolation in Relevant Logics
Wesley Fussner, Andrew Tedder
There are exactly two maximal schematic extensions of the relevant logic R with the variable sharing property. We establish that one of them has a strong form of interpolation for…
Some modal and temporal translations of generalized basic logic
Wesley Fussner, William Zuluaga Botero
We introduce a family of modal expansions of Łukasiewicz logic that are designed to accommodate modal translations of generalized basic logic (as formulated with exchange, weakenin…