research
∙
05/08/2023
Interpolation in Linear Logic and Related Systems
We prove that there are continuum-many axiomatic extensions of the full ...
share
research
∙
01/15/2023
Deciding Equations in the Time Warp Algebra
Join-preserving maps on the discrete time scale ω^+, referred to as time...
research
∙
06/11/2021
