3 citations · 5 across the 14 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
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…
cs.LO2023★ 1 cited
Deciding Equations in the Time Warp Algebra
Sam van Gool, Adrien Guatto, George Metcalfe +1
Join-preserving maps on the discrete time scale , referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in…