Universal Algebra and Logic Papers

Preprints and Drafts

"Ordinal decompositions for preordered root systems" (C. Tsinakis with J. Hart), to appear in the Annals of Pure and Applied Logic. [PDF]

"Consequence relations: an order-theoretic and catagorical perspective" (C. Tsinakis with N Galatos), to appear in the Journal of Symbolic Logic. [PDF]

Congruence modularity implies cyclic terms for finite algebras (R. McKenzie with L. Barto, M. Kozik, M. Maróti and T. Niven), Algebra Universalis, submitted. [PDF]
Definability in substructure orderings, IV: finite lattices, (R. McKenzie with J. Jezek) Algebra Universalis, to appear. [PDF]

Definability in substructure orderings, III: finite distributive lattices, (R. McKenzie with J. Jezek), Algebra Universalis, to appear. [PDF]

Definability in substructure orderings, II: finite ordered sets, (R. McKenzie with J. Jezek) Order, submitted. [PDF]

Definability in substructure orderings, I: finite semilattices, (R. McKenzie with J. Jezek), Algebra Universalis, to appear. [PDF]

Avoidable structures, II: finite distributive lattices and nicely structured ordered sets, (R. McKenzie with W. Dziobiak and J. Jezek), Algebra Universalis, to appear. [PDF]

Avoidable structures, I: ordered sets, semilattices and lattices, (R. McKenzie with W. Dziobiak and J. Jezek), Algebra Universalis, to appear. [PDF]

Principal and syntactic congruences in congruence-distributive and congruence-permutable varieties, (R. McKenzie with B. Davey, M. Jackson and M. Maroti), J. Austral. Math. Soc., to appear.
 
Existence theorems for weakly symmetric operations, (R. McKenzie with M. Maroti) Algebra Universalis, to appear. [PDF]

Few subpowers, congruence distributivity, and near-unanimity terms, (R. McKenzie with P. Markovic) Algebra Universalis, to appear. [PDF]

Tractability and learnability arising from algebras with few subpowers, Proceedings of the LICS2007 Conference (R. McKenzie with P. Idziak, P. Markovíc, M. Valeriote, R. Willard), to appear. [PDF]

Varieties with few subalgebras of powers, Transactions AMS (R. McKenzie with J. Berman, P. Idziak, P. Markovíc, M. Valeriote, R. Willard), to appear. [PDF]

The weak extension property and finite axiomatizability for quasivarieties, Fundamenta Mathematicae. (R. McKenzie with W. Dziobiak, M. Maroti, A. Nurakuno and R. Willard), to appear. [PDF]

"Equational theories represented on linear terms," (R. McKenzie, P. Djapi, J. Jezek and P. Markovic), preprint.  

"Varieties with few subalgebras of powers," (J. Berman, P. Idziak, P. Markovic, R. McKenzie, M. Valeriote), preprint.
Download: [PDF]

"The weak extension property and finite axiomatizability for quasivarieties," (R. McKenzie, W. Dziobiak, M. Maroti, A. Nurakuno and R. Willard), in preparation.

"Strongly solvable congruences in finitely decidable varieties," (R. McKenzie), in preparation.

"A history of universal algebra," (R. McKenzie and Steven Givant), in preparation.


2009

"Consequence relations: an order-theoretic and catagorical perspective," (C. Tsinakis and N. Galatos), Journal of the American Mathematical Society 22, no. 1(2009), 119--165. [PDF]

"The structure of locally finite varieties with polynomially many models," (R. McKenzie, P.M. Idziak and M. Valeriote), Journal of the American Mathematical Society 22, no. 1 (2009), 119--165. [PDF]

"Abelianization of space groups," (J. Ratclie, and S. Tschantz) Acta Crystallogr. A65, (2009) 10pp. to appear.

2008

"Godel incompleteness in AF C*-algebras" (C. Tsinakis with D. Mundici), to appear in Forum Math (2008). [PDF]

"The duality between algebraic posets and bialgebraic frames: a lattice theoretic perspective" (C. Tsinakis with J. Hart), Revista de la Unión Matemática Argentina 49 (1) (2008), 83-98. [PDF]

"Perfect GMV-algebras" (C. Tsinakis with A. Di Nola and A. Dvurecenskij), Communications in Algebra 36 (4) (2008), 1221-1249. [PDF]

"Quotient isomorphism invariants of a nitely generated Coxeter group," (M. Mihalik, J. Ratclie, and S. Tschantz), Aspects of Innite
Group, Edited by B. Fine, G. Rosenberger, and D.Spellman, Algebra Discrete Math. 1 (2008), 16 pp., World Sci. Publ., Hackensack NJ.
 
"Post-Merger Product Repositioning," (A. Gandhi, L. Froeb, S. Tschantz, and G. Werden) Journal of Industrial Economics, 41 (March, 2008) pp. 49-67.

"Chordal Coxeter groups," (J. Ratclie and S. Tschantz), Geom. Dedicata 136 (2008), 57-77.

2007

"Star-linear equational theories of groupoids," (P. Dapic, J. Jezek, P. Markovic, R. McKenzie, D. Stanovsky), Algebra Universalis  56 (3/4) 357--397. (2007) [PDF]

"Ordered groups with a modality" (C. Tsinakis with F. Montagna), Journal of Pure and Applied Algebra 211 (2007), 511-531. [PDF]

"A concrete realization of the Hoare powerdomain," (C. Tsinakis and J. B. Hart), Soft Computing 11 (11) (2007), 1059-1063. [PDF] 

"Automorphism groups of squares and of free algebras," (K. Kearnes and S. Tschantz), Internat. J. Algebra Comput. 17 (2007), no. 3, 461-505.

"Local connectivity of rightangled Coxeter group boundaries," (M. Mihalik, K. Ruane, and S. Tschantz), J. Group Throry 10, No. 4 (2007), 531-560.

"Matching theorems for systems of a finitely generated Coxeter group," (M. Mihalik, J. Ratclie, and S. Tschantz), Algebr. Geom. Topol. 7 (2007), 919-956.
 
"Vertical restraints and the effects of upstream horizontal mergers," (L. Froeb, S. Tschantz, and G. Werden) The Political Economy of Antitrust, Vivek Ghosal and Johann Stennek (Eds.), Amsterdam: North-Holland Publishing, (2007) p. 369.

2006

"Yosida Frames," (Jorge Martinez and Eric Zenk), J. Pure Appl. Algebra 204 (2006), no. 3, 473--492. Download: [PDF]

"Every quasigroup is isomorphic to a subdirectly irreducible quasigroup modulo its monolith," (R. McKenzie and D. Stanovsky), Acta Math. Sci. Szeged  72 (2006), 59--64.

"Glivenko theorems for substructural logics over FL," (N. Galatos and H. Ono), J. Symbolic Logic 71 (2006), no. 4, 1353--1384. Download: [PDF]

"Substructural logics over FL: algebraization," (N. Galatos and H. Ono), Studia Logica, 83, 2006.
Download: PDF

"Minimal varieties of involutive residuated lattices", (C. Tsinakis and A. Wille), Studia Logica, 83, 2006, pp. 401-417.
Download: PDF

"Interpreting graph colourability in finite semigroups", (R. McKenzie and M. Jackson), International Journal of Algebra and Computation, 16(1), 2006, pp. 119-140.
Download: PDF

"The Jonsson-Kiefer property", (R. McKenzie, K. Adaricheva, M. Maroti, R. McKenzie, J. B. Nation, E. R. Zenk), Studia Logica, 83, 2006, pp. 111-131.
Download: PDF

"Homotopy of ends and boundaries of CAT(0) groups," (G. Conner, M. Mihalik, and S. Tschantz), Geom. Dedicata 120 (2006), 1-17.

2005

"Dimension in Algebraic Frames, II: Applications to Frames of Ideals in C(X)," (Jorge Martinez and Eric Zenk), Comment. Math. Univ. Carolin. 46 (2005), no. 4, 607--636. Download: [PDF]

"Categories of Partial Frames,"(Eric Zenk), Algebra Universalis 54 (2005), no. 2, 213--235. 
Download: [PDF]

 "Generalized MV-algebras," (Nick Galatos and Constantine Tsinakis), J. Algebra, 283(1), (2005), pp. 254-291.
Download: [PDF]

"Minimal varieties of residuated lattices," (Nick Galatos), Algebra Universalis, 52(2), (2005), pp. 215-239.
Download: [PDF] 

"Congruence modular varieties: commutator theory and its uses," (R. McKenzie and John Snow), In: Structural Theory of Automata, Semigroups and Universal Algebra, Edited by V.B. Kudryavtsev and I.G. Rosenberg, NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207, Springer (2005), pp. 273-329

"Quasiequational theories of flat algebras," (J. Jesek, M. Maroti and R. McKenzie), Czech. Math. J. 55(3), (2005), pp. 665-675.  
Download: [PDF]

"Sequent and Hypersequent Calculi for Abelian and Lukasiewicz logics," (G. Metcalfe, N. Olivetti and D. Gabbay), ACM Transactions on Computational Logic 6(3): 578-613, 2005.
Download: [PDF]

"Lukasiewicz Logic: From Proof Systems to Logic Programming," (G. Metcalfe, N. Olivetti and D. Gabbay), Logic Journal of the IGPL 13,: 561-585, 2005.
Download: [PDF]

"Pass Through rates and the Price Effects of Mergers," (L. Froeb, S. Tschantz, and G. Werden), International Journal of Industrial Organization, 23 (2005) 703-715.

"Merger Simulation, in Econometrics: Legal, Practical, and Technical Issues," (L. Froeb, S. Tschantz, and G. Werden), John D. Harkrider (ed.), ABA Section of Antitrust Law, 2005, p. 269.

"The Effects of Merger Efficiencies on Consumers," (L. Froeb, S. Tschantz, and G. Werden), European Competition Journal, 1:2 (October, 2005) 245-264.

"Does Price Discrimination Intensify Competition? Implications for Antitrust," (J. Cooper, L. Froeb, D. O'Brien and S. Tschantz), Antitrust Law Journal, 72:2 (2005) 327-374.

"Complements of tori and Klein bottles in the 4-sphere that have hyperbolic structure," (D. Ivansic, J. Ratcliffe, and SS. Tschantz), Algebr. Geom. Topol. 5 (005), 999-1026.

Geom. Topol. 5 (2005), 999{1026.

 


2004

"Interassociates of monogenic semigroups," (M. Gould, K. A. Linton and A. Nelson), Semigroup Forum, 68 (2004), 186-201.

"Adding involution to residuated structures," (N. Galatos and J. Raftery), Studia Logica, 77(2), (2004), pp. 181-207.
Download: [PDF]

"Equational bases for joins of residuated-lattice varieties," (N. Galatos), Studia Logica, 76(2), (2004), pp. 227-240.
Download: [PDF]

"On some small cardinals for Boolean algebras," (R. McKenzie and J.D. Monk), Journal of Symbolic Logic, 69 (2004), pp. 647-682.
Download: [PDF]

"Order algebras as models of linear logic," (Constantine Tsinakis and Han Zhang), Studia Logica, 76 (2004), pp. 195-219.
Download: [PDF]

"Products of classes of residuated structures," (Bjarni Jonnson and Constantine Tsinakis), Studia Logica, 77 (2004), pp. 267-292.
Download: [PDF]

"Finite basis problems and results for quasivarieties," (M. Maroti and R. McKenzie), Sudia Logica, 78, (2004), pp. 293-320.
Download: [PDF]

"Hypersequents and Fuzzy Logic" (G. Metcalfe, N. Olivetti and D. Gabbay), Revista de la Real Academia de Ciencias 98(1), pages 113-126, 2004.
Download: [PDF]

"Analytic Proof Calculi for Product Logics" (G. Metcalfe N. Olivetti and D. Gabbay), Archive for Mathematical Logic 43(7), pages 859-889, 2004.
Download: [PDF]


2003

"Cancellative residuated lattices as lattice-ordered groups with a modality," (C. Tsinakis and F. Montagna),  Algebra Universal. 50 (1), (2003), 83-106. [PDF]

"The zig-zag property and exponential cancellation of ordered sets," (R. McKenzie), Order 20 (2003), 185-221.
Download: [PDF]

"Finite basis problems and results for quasivarieties," (M. Maroti and R. McKenzie), Studia Logica 78 (2003), 1-28.
Download: [PDF]

"Cancellative residuated lattices," (P. Bahls, J. Cole, N. Galatos, Peter Jipsen and Constantine Tsinakis), Algebra Universal, 50(1) (2003), pp. 83-106.
Download: [PDF]

 

"The Structure of residuated lattices," (K. Blount and C. Tsinakis), Internat. J. Algebra Comput. 13(4) (2003), pp. 437-461.
Download: [PDF]

"When an Algebraic Frame is Regular," (Jorge Martinez and Eric Zenk), Algebra Universalis, 50(2) (2003), pp. 231-357.
Download: [PDF]

"The zig-zag property and exponential cancellation of ordered sets," (Ralph McKenzie), Order, 20, (2003), pp. 185-221.
Download: [PDF]


2002

"Locally finite varieties with large free spectra," (R. McKenzie), Algebra Universalis, 47, (2002), pp. 303-318.
Download: [PDF]

"The structure of commutative residuated lattices," (J. Hart, Lori Rafter and Constatine Tsinakis), Internat. J. Algebra Comput., 12(4), (2002), pp. 509-524.
Download: [PDF]

"A survey of residuated lattices," (P. Jipsen and C. Tsinakis), Ordered Algebraic Structures (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, (2002), pp. 19-56.
Download: [PDF]

"The undecidability of the word problem for distributive residuated lattices," (N. Galatos), Ordered Algebraic Structures (J. Martinez, ed.), Kluwer Academic Publishers, Dordrecht, (2002), pp. 231-243.
Download: [PDF]

"The variety generated by order algebras," (R. Freese, J. Jesek, P. Jipsen, P. Markovic, M. Maroti, and R. McKenzie), Algebra Universalis, 47, (2002), pp. 103-138.
Download: [PDF]