×

zbMATH — the first resource for mathematics

van Alten, Clint J.

Compute Distance To:
Author ID: van-alten.clint-j Recent zbMATH articles by "van Alten, Clint J."
Published as: Van Alten, C. J.; van Alten, C. J.; van Alten, Clint; van Alten, Clint J.
External Links: MGP
Documents Indexed: 34 Publications since 1997
Reviewing Activity: 11 Reviews

Publications by Year

Citations contained in zbMATH

26 Publications have been cited 195 times in 132 Documents Cited by Year
The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 1058.06016
Blok, W. J.; van Alten, C. J.
39
2002
On the finite embeddability property for residuated ordered groupoids. Zbl 1083.06013
Blok, W. J.; van Alten, C. J.
21
2005
Structural completeness in substructural logics. Zbl 1168.03012
Olson, J. S.; Raftery, J. G.; van Alten, C. J.
19
2008
Rule separation and embedding theorems for logics without weakening. Zbl 1053.03012
van Alten, Clint J.; Raftery, James G.
16
2004
Representable biresiduated lattices. Zbl 1001.06012
van Alten, C. J.
14
2002
On varieties of biresiduation algebras. Zbl 1099.03057
van Alten, C. J.
11
2006
A vector lattice version of Rådström’s embedding theorem. Zbl 1144.06009
Labuschagne, C. C. A.; Pinchuck, A. L.; van Alten, C. J.
10
2007
The finite model property for knotted extensions of propositional linear logic. Zbl 1089.03015
van Alten, C. J.
9
2005
Relational representation theorems for general lattices with negations. Zbl 1135.06003
Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint
6
2006
Residuation in commutative ordered monoids with minimal zero. Zbl 0996.03040
Raftery, James G.; van Alten, Clint J.
6
2000
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 0982.08500
Blok, W. J.; van Alten, C. J.
5
2000
On the algebra of noncommutative residuation: Polrims and left residuation algebras. Zbl 0979.06009
Raftery, J. G.; Van Alten, C. J.
5
1997
Preservation theorems for MTL-chains. Zbl 1253.03098
van Alten, C. J.
4
2011
Embedding ordered sets into distributive lattices. Zbl 1357.06002
Van Alten, C. J.
3
2016
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras. Zbl 1296.03020
van Alten, C. J.
3
2013
Completion and finite embeddability property for residuated ordered algebras. Zbl 1214.06006
van Alten, C. J.
3
2009
On the variety of Riesz spaces. Zbl 1131.46004
Labuschagne, C. C. A.; van Alten, C. J.
3
2007
Congruence properties in congruence permutable and in ideal determined varieties, with applications. Zbl 1077.08003
van Alten, C. J.
3
2005
On the lattice of varieties of residuation algebras. Zbl 0966.08008
van Alten, C. J.; Raftery, J. G.
3
1999
On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules. Zbl 0946.03027
van Alten, C. J.; Raftery, J. G.
3
1997
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras. Zbl 1385.06005
Düntsch, Ivo; Orłowska, Ewa; van Alten, Clint
2
2016
An algebraic look at filtrations in modal logic. Zbl 1306.03011
Conradie, Willem; Morton, Wilmari; van Alten, Clint J.
2
2013
Implicational subreducts of \(n\)-potent commutative residuated lattices. Zbl 1121.06015
van Alten, C. J.
2
2007
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. Zbl 07091710
Shkatov, Dmitry; Van Alten, C. J.
1
2019
The canonical FEP construction. Zbl 1444.06012
Morton, Wilmari; van Alten, Clint J.
1
2017
Relational representation theorems for lattices with negations: A survey. Zbl 1177.06006
Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint
1
2006
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. Zbl 07091710
Shkatov, Dmitry; Van Alten, C. J.
1
2019
The canonical FEP construction. Zbl 1444.06012
Morton, Wilmari; van Alten, Clint J.
1
2017
Embedding ordered sets into distributive lattices. Zbl 1357.06002
Van Alten, C. J.
3
2016
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras. Zbl 1385.06005
Düntsch, Ivo; Orłowska, Ewa; van Alten, Clint
2
2016
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras. Zbl 1296.03020
van Alten, C. J.
3
2013
An algebraic look at filtrations in modal logic. Zbl 1306.03011
Conradie, Willem; Morton, Wilmari; van Alten, Clint J.
2
2013
Preservation theorems for MTL-chains. Zbl 1253.03098
van Alten, C. J.
4
2011
Completion and finite embeddability property for residuated ordered algebras. Zbl 1214.06006
van Alten, C. J.
3
2009
Structural completeness in substructural logics. Zbl 1168.03012
Olson, J. S.; Raftery, J. G.; van Alten, C. J.
19
2008
A vector lattice version of Rådström’s embedding theorem. Zbl 1144.06009
Labuschagne, C. C. A.; Pinchuck, A. L.; van Alten, C. J.
10
2007
On the variety of Riesz spaces. Zbl 1131.46004
Labuschagne, C. C. A.; van Alten, C. J.
3
2007
Implicational subreducts of \(n\)-potent commutative residuated lattices. Zbl 1121.06015
van Alten, C. J.
2
2007
On varieties of biresiduation algebras. Zbl 1099.03057
van Alten, C. J.
11
2006
Relational representation theorems for general lattices with negations. Zbl 1135.06003
Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint
6
2006
Relational representation theorems for lattices with negations: A survey. Zbl 1177.06006
Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint
1
2006
On the finite embeddability property for residuated ordered groupoids. Zbl 1083.06013
Blok, W. J.; van Alten, C. J.
21
2005
The finite model property for knotted extensions of propositional linear logic. Zbl 1089.03015
van Alten, C. J.
9
2005
Congruence properties in congruence permutable and in ideal determined varieties, with applications. Zbl 1077.08003
van Alten, C. J.
3
2005
Rule separation and embedding theorems for logics without weakening. Zbl 1053.03012
van Alten, Clint J.; Raftery, James G.
16
2004
The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 1058.06016
Blok, W. J.; van Alten, C. J.
39
2002
Representable biresiduated lattices. Zbl 1001.06012
van Alten, C. J.
14
2002
Residuation in commutative ordered monoids with minimal zero. Zbl 0996.03040
Raftery, James G.; van Alten, Clint J.
6
2000
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. Zbl 0982.08500
Blok, W. J.; van Alten, C. J.
5
2000
On the lattice of varieties of residuation algebras. Zbl 0966.08008
van Alten, C. J.; Raftery, J. G.
3
1999
On the algebra of noncommutative residuation: Polrims and left residuation algebras. Zbl 0979.06009
Raftery, J. G.; Van Alten, C. J.
5
1997
On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules. Zbl 0946.03027
van Alten, C. J.; Raftery, J. G.
3
1997
all top 5

Cited by 125 Authors

11 van Alten, Clint J.
10 Raftery, James G.
9 Galatos, Nikolaos
8 Horčík, Rostislav
7 Candeloro, Domenico
7 Sambucini, Anna Rita
5 Kühr, Jan
5 Montagna, Franco
5 Spinks, Matthew
4 Citkin, Alex
4 Di Piazza, Luisa
4 Iemhoff, Rosalie
4 Jipsen, Peter
4 Labuschagne, Coenraad C. A.
4 Metcalfe, George
4 Musial, Kazimierz
4 Rump, Wolfgang
4 Tsinakis, Constantine
3 Agliano, Paolo
3 Bezhanishvili, Nick
3 Bianchi, Matteo
3 Botur, Michal
3 Cintula, Petr
3 García-Cerdaña, Àngel
3 Gil-Férez, José
3 Gispert, Joan
3 Haniková, Zuzana
3 Kowalski, Tomasz Marek
3 Morton, Wilmari
3 Noguera, Carles
3 Olson, Jeffrey S.
3 Ono, Hiroakira
3 Orłowska, Ewa S.
3 Veroff, Robert
2 Bezhanishvili, Guram
2 Blok, Willem Johannes
2 Bou, Félix
2 Cardona, Riquelmi
2 Chajda, Ivan
2 Di Nola, Antonio
2 Egrot, Rob
2 El-Zekey, Moataz Saleh
2 Esteva, Francesc
2 Godo, Lluís
2 Humberstone, Lloyd
2 Marraffa, Valeria
2 Moraschini, Tommaso
2 Palmigiano, Alessandra
2 Shkatov, Dmitry
2 Spada, Luca
2 Verdú, Ventura
2 Wang, Sanmin
1 Adillon, Romà J.
1 Aguzzoli, Stefano
1 Albuquerque, Hugo
1 Almeida, Agostinho
1 Berman, Joel D.
1 Bignall, Robert J.
1 Bílková, Marta
1 Boccuto, Antonio
1 Broumand Saeid, A.
1 Broušek, Martin
1 Cabrera, Inma P.
1 Cerami, Marco
1 Chen, Wei
1 Chen, Yizhi
1 Conradie, Willem J.
1 Cordero, Pablo
1 Croitoru, Anca
1 Düntsch, Ivo
1 Dvurečenskij, Anatolij
1 Dzik, Wojciech
1 Dziobiak, Wiesław
1 Emanovský, Petr
1 Font, Josep Maria
1 Fritz, Tobias
1 Furber, Robert W. J.
1 Garcia, Pere
1 Gavrilut, Alina Cristiana
1 Greco, Giuseppe
1 Gregori, Verónica
1 Gutiérrez, Gloria
1 Hájek, Petr
1 Hamidi, Mehdi
1 Hartonas, Chrysafis
1 Hsieh, Ai-Ni
1 Ilin, Julia
1 Iorgulescu, Afrodita
1 Jansana, Ramon
1 Kikianty, Eder
1 Länger, Helmut M.
1 Ledda, Antonio
1 Leech, Jonathan
1 Lenzi, Giacomo
1 Leuştean, Ioana
1 Liu, Lianzhen
1 Mardare, Radu
1 Martínez del Castillo, Javier
1 Mesiar, Radko
1 Mio, Matteo
...and 25 more Authors
all top 5

Cited in 39 Serials

16 Algebra Universalis
16 Studia Logica
12 Fuzzy Sets and Systems
9 Annals of Pure and Applied Logic
9 Soft Computing
5 Journal of Algebra
4 The Journal of Symbolic Logic
4 Transactions of the American Mathematical Society
4 Archive for Mathematical Logic
4 Mathematical Logic Quarterly (MLQ)
4 The Review of Symbolic Logic
3 Notre Dame Journal of Formal Logic
3 Semigroup Forum
3 International Journal of Algebra and Computation
3 Logica Universalis
2 Journal of Mathematical Analysis and Applications
2 Journal of Philosophical Logic
2 Journal of Pure and Applied Algebra
2 Ricerche di Matematica
2 Theoretical Computer Science
2 Central European Journal of Mathematics
2 Mediterranean Journal of Mathematics
2 Asian-European Journal of Mathematics
1 Bulletin of the Australian Mathematical Society
1 Communications in Algebra
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Czechoslovak Mathematical Journal
1 Information Sciences
1 Journal of Computer and System Sciences
1 Order
1 Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni
1 MSCS. Mathematical Structures in Computer Science
1 Boletín de la Sociedad Matemática Mexicana. Third Series
1 Journal of the Australian Mathematical Society
1 Journal of Multiple-Valued Logic and Soft Computing
1 Logical Methods in Computer Science
1 Journal of Logical and Algebraic Methods in Programming
1 Bollettino dell’Unione Matematica Italiana
1 The Art of Discrete and Applied Mathematics

Citations by Year