×

zbMATH — the first resource for mathematics

Galatos, Nikolaos

Compute Distance To:
Author ID: galatos.nikolaos Recent zbMATH articles by "Galatos, Nikolaos"
Published as: Galatos, N.; Galatos, Nick; Galatos, Nikolaos
Homepage: http://cs.du.edu/~ngalatos/
External Links: MGP · ResearchGate
Documents Indexed: 33 Publications since 2002, including 1 Book

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 739 times in 483 Documents Cited by Year
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
360
2007
Generalized MV-algebras. Zbl 1063.06008
Galatos, Nikolaos; Tsinakis, Constantine
68
2005
Cancellative residuated lattices. Zbl 1092.06012
Bahls, P.; Cole, J.; Galatos, N.; Jipsen, P.; Tsinakis, C.
44
2003
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
30
2012
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021
Galatos, Nikolaos; Ono, Hiroakira
30
2006
Minimal varieties of residuated lattices. Zbl 1082.06011
Galatos, Nikolaos
29
2004
Residuated frames with applications to decidability. Zbl 1285.03077
Galatos, Nikolaos; Jipsen, Peter
26
2013
Adding involution to residuated structures. Zbl 1062.03059
Galatos, Nikolaos; Raftery, James G.
22
2004
Equational bases for joins of residuated-lattice varieties. Zbl 1068.06007
Galatos, Nikolaos
15
2004
A category equivalence for odd Sugihara monoids and its applications. Zbl 1279.03043
Galatos, N.; Raftery, J. G.
14
2012
Cut elimination and strong separation for substructural logics: an algebraic approach. Zbl 1245.03027
Galatos, Nikolaos; Ono, Hiroakira
14
2010
MacNeille completions of FL-algebras. Zbl 1259.03086
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
12
2011
Irreducible residuated semilattices and finitely based varieties. Zbl 1156.06007
Galatos, Nikolaos; Olson, Jeffrey S.; Raftery, James G.
11
2008
Idempotent residuated structures: some category equivalences and their applications. Zbl 1402.06005
Galatos, N.; Raftery, J. G.
10
2015
Glivenko theorems for substructural logics over FL. Zbl 1109.03016
Galatos, Nikolaos; Ono, Hiroakira
10
2006
Equivalence of consequence relations: an order-theoretic and categorical perspective. Zbl 1181.03063
Galatos, Nikolaos; Tsinakis, Constantine
8
2009
Distributive residuated frames and generalized bunched implication algebras. Zbl 1420.03139
Galatos, Nikolaos; Jipsen, Peter
7
2017
Algebraic proof theory: hypersequents and hypercompletions. Zbl 1422.03038
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
4
2017
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions. Zbl 1448.03054
Galatos, Nikolaos; Gil-Férez, José
4
2017
Categories of models of \(\mathbf{R}\)-mingle. Zbl 07078384
Fussner, Wesley; Galatos, Nick
3
2019
Cayley’s and Holland’s theorems for idempotent semirings and their applications to residuated lattices. Zbl 1412.06007
Galatos, Nikolaos; Horčík, Rostislav
3
2013
Periodic lattice-ordered pregroups are distributive. Zbl 1259.06018
Galatos, Nikolaos; Jipsen, Peter
3
2012
The FEP for some varieties of fully distributive knotted residuated lattices. Zbl 1420.06023
Cardona, Riquelmi; Galatos, Nikolaos
2
2017
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. Zbl 1420.03147
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
2
2017
Relation algebras as expanded FL-algebras. Zbl 1322.03047
Galatos, Nikolaos; Jipsen, Peter
2
2013
A survey of generalized Basic Logic algebras. Zbl 1225.03092
Galatos, Nikolaos; Jipsen, Peter
2
2009
The undecidability of the word problem for distributive residuated lattices. Zbl 1073.06007
Galatos, Nikolaos
2
2002
Proof theory for lattice-ordered groups. Zbl 1348.06011
Galatos, Nikolaos; Metcalfe, George
1
2016
The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\). Zbl 1343.06010
Cardona, R.; Galatos, N.
1
2015
Categories of models of \(\mathbf{R}\)-mingle. Zbl 07078384
Fussner, Wesley; Galatos, Nick
3
2019
Distributive residuated frames and generalized bunched implication algebras. Zbl 1420.03139
Galatos, Nikolaos; Jipsen, Peter
7
2017
Algebraic proof theory: hypersequents and hypercompletions. Zbl 1422.03038
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
4
2017
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions. Zbl 1448.03054
Galatos, Nikolaos; Gil-Férez, José
4
2017
The FEP for some varieties of fully distributive knotted residuated lattices. Zbl 1420.06023
Cardona, Riquelmi; Galatos, Nikolaos
2
2017
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. Zbl 1420.03147
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
2
2017
Proof theory for lattice-ordered groups. Zbl 1348.06011
Galatos, Nikolaos; Metcalfe, George
1
2016
Idempotent residuated structures: some category equivalences and their applications. Zbl 1402.06005
Galatos, N.; Raftery, J. G.
10
2015
The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\). Zbl 1343.06010
Cardona, R.; Galatos, N.
1
2015
Residuated frames with applications to decidability. Zbl 1285.03077
Galatos, Nikolaos; Jipsen, Peter
26
2013
Cayley’s and Holland’s theorems for idempotent semirings and their applications to residuated lattices. Zbl 1412.06007
Galatos, Nikolaos; Horčík, Rostislav
3
2013
Relation algebras as expanded FL-algebras. Zbl 1322.03047
Galatos, Nikolaos; Jipsen, Peter
2
2013
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
30
2012
A category equivalence for odd Sugihara monoids and its applications. Zbl 1279.03043
Galatos, N.; Raftery, J. G.
14
2012
Periodic lattice-ordered pregroups are distributive. Zbl 1259.06018
Galatos, Nikolaos; Jipsen, Peter
3
2012
MacNeille completions of FL-algebras. Zbl 1259.03086
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
12
2011
Cut elimination and strong separation for substructural logics: an algebraic approach. Zbl 1245.03027
Galatos, Nikolaos; Ono, Hiroakira
14
2010
Equivalence of consequence relations: an order-theoretic and categorical perspective. Zbl 1181.03063
Galatos, Nikolaos; Tsinakis, Constantine
8
2009
A survey of generalized Basic Logic algebras. Zbl 1225.03092
Galatos, Nikolaos; Jipsen, Peter
2
2009
Irreducible residuated semilattices and finitely based varieties. Zbl 1156.06007
Galatos, Nikolaos; Olson, Jeffrey S.; Raftery, James G.
11
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
360
2007
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021
Galatos, Nikolaos; Ono, Hiroakira
30
2006
Glivenko theorems for substructural logics over FL. Zbl 1109.03016
Galatos, Nikolaos; Ono, Hiroakira
10
2006
Generalized MV-algebras. Zbl 1063.06008
Galatos, Nikolaos; Tsinakis, Constantine
68
2005
Minimal varieties of residuated lattices. Zbl 1082.06011
Galatos, Nikolaos
29
2004
Adding involution to residuated structures. Zbl 1062.03059
Galatos, Nikolaos; Raftery, James G.
22
2004
Equational bases for joins of residuated-lattice varieties. Zbl 1068.06007
Galatos, Nikolaos
15
2004
Cancellative residuated lattices. Zbl 1092.06012
Bahls, P.; Cole, J.; Galatos, N.; Jipsen, P.; Tsinakis, C.
44
2003
The undecidability of the word problem for distributive residuated lattices. Zbl 1073.06007
Galatos, Nikolaos
2
2002
all top 5

Cited by 378 Authors

23 Galatos, Nikolaos
17 Dvurečenskij, Anatolij
17 Paoli, Francesco
16 Vychodil, Vilém
15 Raftery, James G.
15 Tsinakis, Constantine
14 Chajda, Ivan
14 Cintula, Petr
13 Jipsen, Peter
13 Montagna, Franco
13 Rachůnek, Jiří
12 Kowalski, Tomasz Marek
12 Ledda, Antonio
11 Moraschini, Tommaso
11 Ono, Hiroakira
10 Ciabattoni, Agata
10 Horčík, Rostislav
10 Noguera, Carles
9 Metcalfe, George
9 Vetterlein, Thomas
8 Gil-Férez, José
8 Kühr, Jan
7 Agliano, Paolo
7 Bělohlávek, Radim
7 Georgescu, George
7 Šalounová, Dana
7 Spinks, Matthew
7 Torrens Torrell, Antoni
6 Bianchi, Matteo
6 Busaniche, Manuela
6 Buszkowski, Wojciech
6 Ciungu, Lavinia Corina
6 Esteva, Francesc
6 Godo, Lluís
6 Jenei, Sándor
6 Länger, Helmut M.
6 Mureşan, Claudia
6 Olson, Jeffrey S.
6 Palmigiano, Alessandra
6 Rasouli, Saeed
6 Terui, Kazushige
6 van Alten, Clint J.
5 Font, Josep Maria
5 Jakubík, Ján
5 Rivieccio, Umberto
5 Yang, Eunsuk
4 Aguzzoli, Stefano
4 Bezhanishvili, Guram
4 Bezhanishvili, Nick
4 Botur, Michal
4 Cignoli, Roberto
4 Citkin, Alex
4 Conradie, Willem J.
4 Fussner, Wesley
4 Jansana, Ramon
4 Kondo, Michiro
4 Paseka, Jan
4 Rump, Wolfgang
4 Salibra, Antonino
4 Ugolini, Sara
4 Wannenburg, Johann J.
4 Zhao, Bin
3 Baldi, Paolo
3 Blok, Willem Johannes
3 Bonzio, Stefano
3 Borumand Saeid, Arsham
3 Cabrer, Leonardo Manuel
3 Castaño, Diego N.
3 Chvalovský, Karel
3 Diaconescu, Răzvan
3 Díaz Varela, José Patricio
3 Han, Shengwei
3 Haniková, Zuzana
3 Höhle, Ulrich
3 Ma, Zhenming
3 Marchioni, Enrico
3 Priestley, Hilary A.
3 Spada, Luca
3 Subrahmanyam, N. V.
3 Suzuki, Tomoyuki
3 Veroff, Robert
3 Wang, Sanmin
3 Wurm, Christian
3 Zahiri, Omid
3 Zhang, Dexue
3 Zhou, Hongjun
2 Albuquerque, Hugo
2 Bakhshi, Mahmood
2 Bartl, Eduard
2 Bílková, Marta
2 Bova, Simone
2 Brattka, Vasco
2 Cardona, Riquelmi
2 Castiglioni, José Luis
2 Chen, Wei
2 Chen, Wei
2 Cordero, Pablo
2 Cornejo, Juan Manuel
2 Davey, Brian A.
2 De Baets, Bernard
...and 278 more Authors
all top 5

Cited in 60 Serials

55 Fuzzy Sets and Systems
47 Studia Logica
44 Soft Computing
43 Algebra Universalis
22 Annals of Pure and Applied Logic
20 Archive for Mathematical Logic
17 Information Sciences
16 Mathematica Slovaca
15 The Review of Symbolic Logic
13 Journal of Pure and Applied Algebra
11 Mathematical Logic Quarterly (MLQ)
8 Czechoslovak Mathematical Journal
8 Order
8 International Journal of Approximate Reasoning
7 The Journal of Symbolic Logic
6 Journal of Algebra
6 Journal of Philosophical Logic
6 Theoretical Computer Science
6 Journal of Logical and Algebraic Methods in Programming
5 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
5 Semigroup Forum
4 Communications in Algebra
4 International Journal of Theoretical Physics
4 International Journal of Algebra and Computation
4 Journal of Applied Non-Classical Logics
4 Journal of Multiple-Valued Logic and Soft Computing
4 Logica Universalis
3 International Journal of General Systems
3 Notre Dame Journal of Formal Logic
3 Transactions of the American Mathematical Society
3 Journal of Logic, Language and Information
3 The Bulletin of Symbolic Logic
3 Iranian Journal of Fuzzy Systems
3 Asian-European Journal of Mathematics
2 Journal of Computer and System Sciences
2 Synthese
2 Bulletin of the Section of Logic
2 Information and Computation
2 Central European Journal of Mathematics
2 Journal of Intelligent and Fuzzy Systems
2 ACM Transactions on Computational Logic
2 Journal of Applied Logic
2 Logical Methods in Computer Science
2 Symmetry
2 Afrika Matematika
1 Journal of Mathematical Analysis and Applications
1 International Journal of Mathematics and Mathematical Sciences
1 Quaestiones Mathematicae
1 Bulletin of the Iranian Mathematical Society
1 Journal of Automated Reasoning
1 MSCS. Mathematical Structures in Computer Science
1 Indagationes Mathematicae. New Series
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 Journal of the Australian Mathematical Society
1 Foundations of Physics
1 Topological Algebra and its Applications
1 Journal of Algebra and Related Topics
1 Open Mathematics
1 Transactions of A. Razmadze Mathematical Institute

Citations by Year