Leonardo Manuel Cabrer

20 papers Journal 17Unranked 3

Year	Rank	Type	Title / 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