Follow
Clint Van Alten
Clint Van Alten
Wits University, South Africa
Verified email at wits.ac.za
Title
Cited by
Cited by
Year
The finite embeddability property for residuated lattices, pocrims and BCK-algebras
WJ Blok, CJ Van Alten
Algebra Universalis 48 (3), 253-271, 2002
1262002
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
672005
Structural completeness in substructural logics
JS Olson, JG Raftery, CJ Van Alten
Logic Journal of IGPL 16 (5), 453-495, 2008
612008
Rule separation and embedding theorems for logics without weakening
CJ Van Alten, JG Raftery
Studia Logica 76, 241-274, 2004
452004
Representable biresiduated lattices
CJ Van Alten
Journal of Algebra 247 (2), 672-691, 2002
402002
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
332006
The finite model property for knotted extensions of propositional linear logic
CJ van Alten
The Journal of Symbolic Logic 70 (1), 84-98, 2005
322005
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
282007
On the algebra of noncommutative residuation: polrims and left residuation algebras
JG Raftery, CJ Van Alten
Mathematica japonicae 46 (1), 26-46, 1997
231997
Residuation in Commutative Ordered Monoids with Minimal Zero.
JG Raftery, CJ van Alten
Reports Math. Log. 34, 23-57, 2000
222000
On varieties of biresiduation algebras
CJ van Alten
Studia Logica 83, 425-445, 2006
202006
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
172006
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
142013
On the variety of Riesz spaces
CCA Labuschagne, CJ Van Alten
Indagationes Mathematicae 18 (1), 61-68, 2007
142007
On the lattice of varieties of residuation algebras
CJ Van Alten, JG Raftery
Algebra universalis 41 (4), 283-315, 1999
141999
Preservation theorems for MTL-chains
CJ Van Alten
Logic Journal of IGPL 19 (3), 490-511, 2011
122011
An algebraic study of residuated ordered monoids and logics without exchange and contraction
CJ Van Alten
Ph. D. thesis, University of Natal, 1998
121998
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.
WJ Blok, CJ van Alten
Reports Math. Log. 34, 159-165, 2000
102000
Complexity of the universal theory of modal algebras
D Shkatov, CJ Van Alten
Studia Logica 108 (2), 221-237, 2020
92020
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
92013
The system can't perform the operation now. Try again later.
Articles 1–20