19 citations · 49 across the 19 of their papers we have counts for
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Dialectica Categories over Heyting Algebras
Colin Bloomfield, Peter Jipsen, Valeria de Paiva
Categorification---the process of constructing a categorical model of a piece of mathematics---often identifies a common abstraction that connects formerly unrelated but known stru…
math.LO2026
The logic of bunched implications is undecidable
Nick Galatos, Peter Jipsen, Søren Brinck Knudstorp +1
The logic of bunched implications (BI), introduced by O'Hearn and Pym (1999), has attracted significant attention due to its elegant proof calculus, varied semantics, and close con…