4 papers · 1 filter
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…
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…
Locally Integral Involutive PO-Semigroups
José Gil-Férez, Peter Jipsen, Melissa Sugimoto
We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) , and in particular every locally integral involutive…
On the structure of balanced residuated partially ordered monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated poset is a structure where is a poset and is a monoid such that the re…