Leonardo Manuel Cabrer

20 papers Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Checking Admissibility Using Natural Dualities.
ACM Trans. Comput. Log.
Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
2017 J jnl
Germinal theories in Łukasiewicz logic.
Ann. Pure Appl. Log.
Leonardo Manuel Cabrer, Daniele Mundici
2017 J jnl
MV-algebras, infinite dimensional polyhedra, and natural dualities.
Arch. Math. Log.
Leonardo Manuel Cabrer, Luca Spada
2016 J jnl
Natural Dualities Through Product Representations: Bilattices and Beyond.
Stud Logica
Leonardo Manuel Cabrer, Hilary A. Priestley
2016 J jnl
Polyhedral MV-algebras.
Fuzzy Sets Syst.
Manuela Busaniche, Leonardo Manuel Cabrer, Daniele Mundici
2015 J jnl
A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups.
J. Log. Comput.
Leonardo Manuel Cabrer, Daniele Mundici
2015 J jnl
A general framework for product representations: bilattices and beyond.
Log. J. IGPL
Leonardo Manuel Cabrer, Hilary A. Priestley
2015 J jnl
Exact Unification and Admissibility.
Log. Methods Comput. Sci.
Leonardo Manuel Cabrer, George Metcalfe
2015 J jnl
Severi-Bouligand tangents, Frenet frames and Riesz spaces.
Adv. Appl. Math.
Leonardo Manuel Cabrer, Daniele Mundici
2014 — conf
From Admissibility to a New Hierarchy of Unification Types.
UNIF
Leonardo Manuel Cabrer, George Metcalfe
2014 J jnl
Interval MV-algebras and generalizations.
Int. J. Approx. Reason.
Leonardo Manuel Cabrer, Daniele Mundici
2014 J jnl
Leibniz interpolation properties.
Ann. Pure Appl. Log.
Leonardo Manuel Cabrer, José Gil-Férez
2014 J jnl
Unification and Projectivity in De Morgan and Kleene Algebras.
Order
Simone Bova, Leonardo Manuel Cabrer
2013 — conf
Coproducts of Distributive Lattice based Algebras.
TACL
Leonardo Manuel Cabrer, Hilary A. Priestley
2013 J jnl
Product representation for default bilattices: an application of natural duality theory.
CoRR
Leonardo Manuel Cabrer, A. P. K. Craig, Hilary A. Priestley
2012 J jnl
Completions in Subvarieties of BL-algebras.
J. Multiple Valued Log. Soft Comput.
Manuela Busaniche, Leonardo Manuel Cabrer
2010 — conf
Completions in Subvarieties of BL-Algebras.
ISMVL
Manuela Busaniche, Leonardo Manuel Cabrer
2009 J jnl
Non canonicity of BL-algebras.
Reports Math. Log.
Leonardo Manuel Cabrer
2009 J jnl
Weak-quasi-Stone algebras.
Math. Log. Q.
Sergio A. Celani, Leonardo Manuel Cabrer
2005 J jnl
Duality for finite Hilbert algebras.
Discret. Math.
Sergio A. Celani, Leonardo Manuel Cabrer