3 citations · 3 across the 9 of their papers we have counts for
7 papers
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…
Complexities of Well-Quasi-Ordered Substructural Logics
Nikolaos Galatos, Vitor Greati, Revantha Ramanayake +1
Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity),…
Axiomatizing small varieties of periodic l-pregroups
Nikolaos Galatos, Simon Santschi
We provide an axiomatization for the variety generated by the -periodic l-pregroup , for every , as well as for all possible joins…
Generation and decidability for periodic l-pregroups
Nikolaos Galatos, Isis A. Gallardo
In [11] it is shown that the variety of distributive l-pregroups is generated by a single algebra, the functional algebra over the integers. Here, we…
Decidability of distributive l-pregroups
Nikolaos Galatos, Isis A. Gallardo
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embeddin…
Twist structures and Nelson conuclei
Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos
Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucl…