3 citations · 5 across the 14 of their papers we have counts for
Showing 2023 · math.LOShow all
2 papers · 2 filters
math.LO2023
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…
math.LO2023
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…