Leonardo Manuel Cabrer

According to our database, Leonardo Manuel Cabrer authored at least 21 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Checking Admissibility Using Natural Dualities.

Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley

ACM Trans. Comput. Log., 2019

2017

Germinal theories in Łukasiewicz logic.

Leonardo Manuel Cabrer, Daniele Mundici

Ann. Pure Appl. Log., 2017

MV-algebras, infinite dimensional polyhedra, and natural dualities.

Leonardo Manuel Cabrer, Luca Spada

Arch. Math. Log., 2017

2016

Natural Dualities Through Product Representations: Bilattices and Beyond.

Leonardo Manuel Cabrer, Hilary A. Priestley

Stud Logica, 2016

Unification on Subvarieties of Pseudocomplemented Distributive Lattices.

Leonardo Cabrer

Notre Dame J. Formal Log., 2016

Polyhedral MV-algebras.

Manuela Busaniche, Leonardo Manuel Cabrer, Daniele Mundici

Fuzzy Sets Syst., 2016

Łukasiewicz Public Announcement Logic.

Leonardo Cabrer, Umberto Rivieccio, Ricardo Oscar Rodríguez

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015

A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups.

Leonardo Manuel Cabrer, Daniele Mundici

J. Log. Comput., 2015

A general framework for product representations: bilattices and beyond.

Leonardo Manuel Cabrer, Hilary A. Priestley

Log. J. IGPL, 2015

Exact Unification and Admissibility.

Leonardo Manuel Cabrer, George Metcalfe

Log. Methods Comput. Sci., 2015

Severi-Bouligand tangents, Frenet frames and Riesz spaces.

Leonardo Manuel Cabrer, Daniele Mundici

Adv. Appl. Math., 2015

2014

Unification and Projectivity in De Morgan and Kleene Algebras.

Simone Bova, Leonardo Manuel Cabrer

Order, 2014

Interval MV-algebras and generalizations.

Leonardo Manuel Cabrer, Daniele Mundici

Int. J. Approx. Reason., 2014

Leibniz interpolation properties.

Leonardo Manuel Cabrer, José Gil-Férez

Ann. Pure Appl. Log., 2014

From Admissibility to a New Hierarchy of Unification Types.

Leonardo Manuel Cabrer, George Metcalfe

Proceedings of the 28th International Workshop on Unification, 2014

2013

Product representation for default bilattices: an application of natural duality theory.

Leonardo Manuel Cabrer, A. P. K. Craig, Hilary A. Priestley

CoRR, 2013

Coproducts of Distributive Lattice based Algebras.

Leonardo Manuel Cabrer, Hilary A. Priestley

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Completions in Subvarieties of BL-algebras.

Manuela Busaniche, Leonardo Manuel Cabrer

J. Multiple Valued Log. Soft Comput., 2012

2009

Non canonicity of BL-algebras.

Leonardo Manuel Cabrer

Reports Math. Log., 2009

Weak-quasi-Stone algebras.

Sergio A. Celani, Leonardo Manuel Cabrer

Math. Log. Q., 2009

2005

Duality for finite Hilbert algebras.

Sergio A. Celani, Leonardo Manuel Cabrer

Discret. Math., 2005