14 citations · 37 across the 24 of their papers we have counts for
7 papers · 1 filter
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…
Retractions of free MV-algebras and unital -groups
L. M. Cabrer, D. Mundici
A number of papers deal with the problem of counting the number of retractions of a structure onto a substructure In the particular case when is a free algebra, this n…
Classifying -orbits of points and rational subspaces
Leonardo Manuel Cabrer, Daniele Mundici
We first show that the subgroup of the abelian real group generated by the coordinates of a point in completely classifies the $\m…
Natural dualities through product representations: bilattices and beyond
Leonardo Cabrer, Hilary Priestley
This paper focuses on natural dualities for varieties of bilattice-based algebras.Such varieties have been widely studied as semantic models in situations where information is inco…
A general framework for product representations: bilattices and beyond
L. M. Cabrer, H. A. Priestley
This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way,…
Unification on subvarieties of pseudocomplemented distributive lattices
Leonardo Manuel Cabrer
In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification p…