9 citations · 9 across the 9 of their papers we have counts for
11 papers
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…
Algebraic Proof Theory for Infinitary Action Logic
Wesley Fussner, Simon Santschi, Borja Sierra Miranda
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras,…
Amalgamation in Semilinear Residuated Lattices
Wesley Fussner, Simon Santschi
We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the genera…
Interpolation in Hájek's Basic Logic
Wesley Fussner, Simon Santschi
We exhaustively classify varieties of BL-algebras with the amalgamation property, showing that there are only countably many of them and solving an open problem of Montagna. As a c…
Interpolation and the Exchange Rule
Wesley Fussner, George Metcalfe, Simon Santschi
It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic p…
Interpolation in Linear Logic and Related Systems
Wesley Fussner, Simon Santschi
We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result…
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…
Poset Products as Relational Models
Wesley Fussner
We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also…
Priestley duality for MV-algebras and beyond
Wesley Fussner, Mai Gehrke, Sam van Gool +1
We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice b…