# Downloadable Articles

*Strong simplicity and states in ordered algebras: Pushing the limits*(with Michal Botur and Jan Kühr), in preparation.*The Archimedean property: New horizons and perspectives*[pdf file] (with Antonio Ledda and Francesco Paoli), submitted for publication.*Join-completions of ordered algebras*[pdf file] (with José Gil-Férez, Luca Spada and Hongjun Zhou), submitted for publication.*Recognizability in residuated lattices*[pdf file] (with José Gil-Férez), to appear in Studia Logica.*Uniform interpolation and compact congruences*[pdf file] (with Samuel van Gool and George Metcalfe), Annals of Pure and Applied Logic 168 (2017), 1927-1948.*Hulls of Ordered Algebras: Projectability, Strong Projectability and Lateral Completeness*[pdf file] (with José Gil-Férez and Antonio Ledda), J. Algebra 483 (2017), 429-474.*Density revisited*[pdf file] (with George Metcalfe), Soft Computing 21(1) (2017), 175-188.*Projectable l-groups and algebras of logic: categorical and algebraic connections*[pdf file] (with José Gil-Férez, Antonio Ledda and Francesco Paoli), Journal of Pure and Applied Algebra 220 (10) (2016), 3514-3532.*The Conrad Program: From l-groups to algebras of logic*[pdf file] (with Michal Botur, Jan Kühr and Lianzhen Liu), J. Algebra 450 (2016), 173-203.*The failure of amalgamation property for semilinear varieties of residuated lattices*[pdf file] (with José Gil-Férez and Antonio Ledda), Math Slovaca 65(4) (2015), 817-828.*Free objects and free extensions in the category of frames*[pdf file], Math Slovaca 65(2) (2015), 1-8.*Semi-linear varieties of lattice-ordered algebras*[pdf file] (with Antonio Ledda and Francesco Paoli) (F. Montagna, Editor), Trends in Logic, Outstanding Contributions to Logic 6 (2015), 207-221.*Lattice-theoretic properties of algebras of logic*[pdf file] (with Antonio Ledda and Francesco Paoli), Journal of Pure and Applied Algebra 218 (10) (2014), 1932-1952.*Amalgamation and interpolation in ordered algebras*[pdf file] (with George Metcalfe and Franco Montagna), J. Algebra 402 (2014), 21-82.

*On Birkhoff’s “common abstraction” problem*[pdf file] (with Francesco Paoli), Studia Logica 100(6) (2012), 1079-1105.*Ordered groups with a conucleus*[pdf file] (with Franco Montagna), Journal of Pure and Applied Algebra 214 (1) (2010), 71-88.*Ordered algebras and logic*[pdf file] (with George Metcalfe and Francesco Paoli), Probability, Uncertainty and Rationality (H. Hosni and F. Montagna, Editors), Publications of the Scuola Normale Superiore di Pisa, Volume 10 (2010), 1-85.*Consequence relations: an order-theoretic and catagorical perspective*[pdf file] (with Nikolaos Galatos), J. Symbolic Logic 74 (3) (2009), 780-810.*Ordinal decompositions for preordered root systems*[pdf file] (with James Hart), Annals of Pure and Applied Logic 161 (2) (2009), 203-211.*The duality between algebraic posets and bialgebraic frames: a lattice theoretic perspective*[pdf file] (with James Hart), Revista de la Unión Matemática Argentina 49 (1) (2008), 83-98.*Godel incompleteness in AF C*-algebras*[pdf file] (with Daniele Mundici), Forum Math 20 (6) (2008), 1071–1084.*Perfect GMV-algebras*[pdf file] (with Antonio Di Nola and Anatolij Dvurecenskij), Communications in Algebra 36 (4) (2008), 1221-1249.*A concrete realization of the Hoare powerdomain*[pdf file] (with James B. Hart), Soft Computing 11 (11) (2007), 1059-1063.*Minimal varieties of involutive residuated lattices*[pdf file] (with Annika Wille), Studia Logica 83 (2006), 401-417.*Generalized MV-algebras*[pdf file] (with N. Galatos), J. Algebra 283(1) (2005), 254-291.*Products of classes of residuated structures*[pdf file](with Bjarni Jonnson), Studia Logica 77 (2004), 267-292.*Order algebras as models of linear logic*[pdf file](with Han Zhang), Studia Logica 76 (2004), 195-219.*Cancellative residuated lattices*[pdf file] (with P. Bahls, J. Cole, N. Galatos and Peter Jipsen), Algebra Universal. 50 (1), (2003), 83-106.*A survey of residuated lattices*[pdf file] (with P. Jipsen), Ordered Algebraic Structures (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, 2002, 19-56.*The Structure of residuated lattices*[pdf file] (with K. Blount), Internat. J. Algebra Comput. 13(4) (2003), 437–461.*The structure of commutative residuated lattices*[pdf file] (with J. Hart and Lori Rafter), Internat. J. Algebra Comput. 12 (2002), no. 4, 509-524.

©2023 Vanderbilt University ·

Site Development: University Web Communications