Leonardo Manuel Cabrer

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 9

Top Topics

Clifford Algebra

Top Venues

Ann. Pure Appl. Log.

Int. J. Approx. Reason.

Adv. Appl. Math.

Publications

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