The finite embeddability property for residuated lattices, pocrims and BCK-algebras WJ Blok, CJ Van Alten Algebra Universalis 48 (3), 253-271, 2002 | 126 | 2002 |
On the finite embeddability property for residuated ordered groupoids W Blok, C Van Alten Transactions of the American Mathematical Society 357 (10), 4141-4157, 2005 | 67 | 2005 |
Structural completeness in substructural logics JS Olson, JG Raftery, CJ Van Alten Logic Journal of IGPL 16 (5), 453-495, 2008 | 63 | 2008 |
Rule separation and embedding theorems for logics without weakening CJ Van Alten, JG Raftery Studia Logica 76, 241-274, 2004 | 45 | 2004 |
Representable biresiduated lattices CJ Van Alten Journal of Algebra 247 (2), 672-691, 2002 | 40 | 2002 |
Relational representation theorems for general lattices with negations W Dzik, E Orlowska, C van Alten Relations and Kleene Algebra in Computer Science: 9th International …, 2006 | 33 | 2006 |
The finite model property for knotted extensions of propositional linear logic CJ van Alten The Journal of Symbolic Logic 70 (1), 84-98, 2005 | 32 | 2005 |
A vector lattice version of r˚ adström's embedding theorem CCA Labuschagne, AL Pinchuck, CJ Van Alten Quaestiones Mathematicae 30 (3), 285-308, 2007 | 29 | 2007 |
On the algebra of noncommutative residuation: polrims and left residuation algebras JG Raftery, CJ Van Alten Mathematica japonicae 46 (1), 26-46, 1997 | 23 | 1997 |
Residuation in Commutative Ordered Monoids with Minimal Zero. JG Raftery, CJ van Alten Reports Math. Log. 34, 23-57, 2000 | 22 | 2000 |
On varieties of biresiduation algebras CJ van Alten Studia Logica 83, 425-445, 2006 | 20 | 2006 |
Relational representation theorems for lattices with negations: A survey W Dzik, E Orłowska, C van Alten Theory and Applications of Relational Structures as Knowledge Instruments II …, 2006 | 17 | 2006 |
An algebraic look at filtrations in modal logic W Conradie, W Morton, CJ van Alten Logic Journal of the IGPL 21 (5), 788-811, 2013 | 14 | 2013 |
On the variety of Riesz spaces CCA Labuschagne, CJ Van Alten Indagationes Mathematicae 18 (1), 61-68, 2007 | 14 | 2007 |
On the lattice of varieties of residuation algebras CJ Van Alten, JG Raftery Algebra universalis 41 (4), 283-315, 1999 | 14 | 1999 |
Preservation theorems for MTL-chains CJ Van Alten Logic Journal of IGPL 19 (3), 490-511, 2011 | 12 | 2011 |
An algebraic study of residuated ordered monoids and logics without exchange and contraction CJ Van Alten Ph. D. thesis, University of Natal, 1998 | 12 | 1998 |
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras. WJ Blok, CJ van Alten Reports Math. Log. 34, 159-165, 2000 | 10 | 2000 |
Complexity of the universal theory of modal algebras D Shkatov, CJ Van Alten Studia Logica 108 (2), 221-237, 2020 | 9 | 2020 |
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras CJ van Alten Theoretical Computer Science 501, 82-92, 2013 | 9 | 2013 |