14 citations · 37 across the 24 of their papers we have counts for
29 papers
Piggybacking over unbounded distributive lattices
Leonardo M. Cabrer, Hilary A. Priestley
This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reduc…
Sugihara algebras and monoids: multisorted dualities
L. M. Cabrer, H. A. Priestley
The authors developed in a recent paper natural dualities for finitely generated quasivarieties of Sugihara algebras. They thereby identified the admissibility algebras for these q…
Sugihara Algebras: Admissibility Algebras via the Test Spaces Method
Leonardo Cabrer, Hilary Priestley
This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated wit…
Checking Admissibility Using Natural Dualities
Leonardo M. Cabrer, Benjamin Freisberg, George Metcalfe +1
This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasiva…
MV-algebras, infinite dimensional polyhedra, and natural dualities
Leonardo M. Cabrer, Luca Spada
We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify…
Exact Unification and Admissibility
George Metcalfe, Leonardo Cabrer
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of…