3 papers
math.LO2025
Duality for finitely valued algebras
Marco Abbadini, Adam Přenosil
The theory of natural dualities provides a well-developed framework for studying Stone-like dualities induced by an algebra which acts as a dualizing object when equip…
math.LO2025
Nagata products of bimodules over residuated lattices
Adam Přenosil, Constantine Tsinakis
We study the (restricted) Nagata product construction, which produces a partially ordered semigroup from a bimodule consisting of a partially ordered semigroup acting on a (pointed…
math.LO2021
Semisimplicity, Glivenko theorems, and the excluded middle
Tomáš Lávička, Adam Přenosil
We formulate a general, signature-independent form of the law of the excluded middle and prove that a logic is semisimple if and only if it enjoys this law, provided that it satisf…