- The structure of commutative residuated lattices [pdf file] (with J. Hart and Lori Rafter), Internat. J. Algebra Comput. 12 (2002), no. 4, 509-524.
- The Structure of residuated lattices [pdf file] (with K. Blount), Internat. J. Algebra Comput. 13(4) (2003), 437--461.
- ·A survey of residuated lattices [pdf file] (with P. Jipsen), Ordered Algebraic Structures (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, 2002, 19-56.
- Cancellative residuated lattices [pdf file] (with P. Bahls, J. Cole, N. Galatos and Peter Jipsen), Algebra Universal. 50 (1), (2003), 83-106.
- Order algebras as models of linear logic [pdf file](with Han Zhang), Studia Logica 76 (2004), 195-219.
- Products of classes of residuated structures [pdf file](with Bjarni Jonnson), Studia Logica 77 (2004), 267-292.
- Generalized MV-algebras [pdf file] (with N. Galatos), J. Algebra 283(1) (2005), 254-291.
- Minimal varieties of involutive residuated lattices [pdf file] (with Annika Wille), Studia Logica 83 (2006), 401-417.
- A concrete realization of the Hoare powerdomain [pdf file] (with James B. Hart), Soft Computing 11 (11) (2007), 1059-1063.
- Ordered groups with a modality (with Franco Montagna), Journal of Pure and Applied Algebra 211 (2007), 511-531. [Note: This article has been retracted at the request of the Editor-in-Chief and authors. Due to an unfortunate oversight by the publisher, the unrevised and incomplete version of the authors' paper was published. The revised article has been published as: "Ordered groups with a conucleus, Journal of Pure and Applied Algebra 214 (1) (2010), 71-88."; see below.]
- Perfect GMV-algebras [pdf file] (with Antonio Di Nola and Anatolij Dvurecenskij), Communications in Algebra 36 (4) (2008), 1221-1249.
- 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.
- 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.
- 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.
- On Birkhoff’s “common abstraction" problem [pdf file] (with Francesco Paoli), to appear in Studia Logica.
- Amalgamation and interpolation in ordered algebras [pdf file] (with George Metcalfe and Franco Montagna), submitted for publication.
- Semi-linear varieties of lattice-ordered algebras [pdf file] (with Antonio Ledda and Francesco Paoli), submitted for publication.
- Lattice-theoretic properties of algebras of logic [pdf file] (with Antonio Ledda and Francesco Paoli), submitted for publication.
- The finite embeddability property for algebras of logic [pdf file] (with Simone Bova and Luca Spada), in preparation.
- The failure of the amalgamation property for semilinear varieties of ordered algebras [pdf file] (with José Gil-Férez, Antonio Ledda, and Francesco Paoli), in preparation.
- The Hulls of semi-linear GMV algebras [pdf file] (with José Gil-Férez, Antonio Ledda, and Francesco Paoli), in preparation.
|
|
