- 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.
|
