×

Voutsadakis, George

Compute Distance To:
Author ID: voutsadakis.george Recent zbMATH articles by "Voutsadakis, George"
Published as: Voutsadakis, George; Voutsadakis, G.
External Links: MGP
Documents Indexed: 63 Publications since 2000
Co-Authors: 6 Co-Authors with 3 Joint Publications
117 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 176 times in 72 Documents Cited by Year
A duality theory for bilattices. Zbl 1012.06008
Mobasher, B.; Pigozzi, D.; Slutzki, G.; Voutsadakis, G.
22
2000
Polyadic concept analysis. Zbl 1013.06006
Voutsadakis, George
16
2002
Categorical abstract algebraic logic: Algebraizable institutions. Zbl 1028.03051
Voutsadakis, George
15
2002
Categorical abstract algebraic logic: Equivalent institutions. Zbl 1043.03049
Voutsadakis, George
10
2003
Categorical abstract algebraic logic: models of \(\pi\)-institutions. Zbl 1089.03058
Voutsadakis, George
10
2005
Categorical abstract algebraic logic: more on protoalgebraicity. Zbl 1134.03044
Voutsadakis, George
9
2006
Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity. Zbl 1124.03048
Voutsadakis, George
9
2007
Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems. Zbl 1089.03057
Voutsadakis, George
8
2005
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms. Zbl 1067.03070
Voutsadakis, George
6
2005
Categorical abstract algebraic logic: categorical algebraization of equational logic. Zbl 1067.03069
Voutsadakis, George
5
2004
Package-based description logics. Zbl 1237.68202
Bao, Jie; Voutsadakis, George; Slutzki, Giora; Honavar, Vasant
5
2009
Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions. Zbl 1137.03039
Voutsadakis, George
5
2007
Categorical abstract algebraic logic: Partially ordered algebraic systems. Zbl 1106.03058
Voutsadakis, George
4
2006
On the categorical algebras of first-order logic. Zbl 1066.18005
Voutsadakis, George
4
2004
Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties. Zbl 1135.03034
Voutsadakis, George
4
2006
Categorical abstract algebraic logic: equivalential \(\pi\)-institutions. Zbl 1166.03041
Voutsadakis, George
4
2008
Categorical abstract algebraic logic: behavioral \(\pi\)-institutions. Zbl 1304.03081
Voutsadakis, George
3
2014
Categorical abstract algebraic logic: cryptofibring of logical systems. Zbl 1325.03081
Voutsadakis, George
3
2014
Categorical abstract algebraic logic: closure operators on classes of pofunctors. Zbl 1281.03011
Voutsadakis, George
3
2012
Categorical abstract algebraic logic: Bloom’s theorem for rule-based \({\pi}\)-institutions. Zbl 1142.03037
Voutsadakis, George
3
2008
Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties. Zbl 1117.03072
Voutsadakis, George
3
2006
Categorical abstract algebraic logic: subdirect representation of pofunctors. Zbl 1110.18003
Voutsadakis, George
2
2007
Categorical abstract algebraic logic: the categorical Suszko operator. Zbl 1134.03045
Voutsadakis, George
2
2007
Categorical abstract algebraic logic: meet-combination of logical systems. Zbl 1272.03166
Voutsadakis, George
2
2013
Categorical abstract algebraic logic: The largest theory system included in a theory family. Zbl 1102.03066
Voutsadakis, George
2
2006
Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems. Zbl 1089.03056
Voutsadakis, George
2
2005
Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions. Zbl 1179.03070
Voutsadakis, George
2
2009
Categorical abstract algebraic logic: referential algebraic semantics. Zbl 1301.03072
Voutsadakis, George
2
2013
Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions. Zbl 1268.03085
Voutsadakis, George
1
2013
A categorical construction of a variety of clone algebras. Zbl 1059.18003
Voutsadakis, George
1
2004
Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems. Zbl 1111.03057
Voutsadakis, George
1
2006
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030
Martins, Manuel António; Voutsadakis, George
1
2013
Categorical abstract algebraic logic referential \(\pi\)-institutions. Zbl 1368.03071
Voutsadakis, George
1
2015
Categorical abstract algebraic logic. Metalogical properties. Zbl 1030.03049
Voutsadakis, George
1
2003
A categorical approach to threshold agent networks. Zbl 1051.93006
Voutsadakis, George
1
2004
Categorical abstract algebraic logic: Strong version of a protoalgebraic \(\pi\)-institution. Zbl 1133.03044
Voutsadakis, George
1
2007
Categorical abstract algebraic logic: structure systems and Łoś’ theorem. Zbl 1166.03040
Voutsadakis, George
1
2007
Categorical abstract algebraic logic: The diagram and the reduction operator lemmas. Zbl 1117.03073
Voutsadakis, George
1
2007
Dedekind-MacNeille completion of \(n\)-ordered sets. Zbl 1125.06002
Voutsadakis, George
1
2007
Categorical abstract algebraic logic referential \(\pi\)-institutions. Zbl 1368.03071
Voutsadakis, George
1
2015
Categorical abstract algebraic logic: behavioral \(\pi\)-institutions. Zbl 1304.03081
Voutsadakis, George
3
2014
Categorical abstract algebraic logic: cryptofibring of logical systems. Zbl 1325.03081
Voutsadakis, George
3
2014
Categorical abstract algebraic logic: meet-combination of logical systems. Zbl 1272.03166
Voutsadakis, George
2
2013
Categorical abstract algebraic logic: referential algebraic semantics. Zbl 1301.03072
Voutsadakis, George
2
2013
Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions. Zbl 1268.03085
Voutsadakis, George
1
2013
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030
Martins, Manuel António; Voutsadakis, George
1
2013
Categorical abstract algebraic logic: closure operators on classes of pofunctors. Zbl 1281.03011
Voutsadakis, George
3
2012
Package-based description logics. Zbl 1237.68202
Bao, Jie; Voutsadakis, George; Slutzki, Giora; Honavar, Vasant
5
2009
Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions. Zbl 1179.03070
Voutsadakis, George
2
2009
Categorical abstract algebraic logic: equivalential \(\pi\)-institutions. Zbl 1166.03041
Voutsadakis, George
4
2008
Categorical abstract algebraic logic: Bloom’s theorem for rule-based \({\pi}\)-institutions. Zbl 1142.03037
Voutsadakis, George
3
2008
Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity. Zbl 1124.03048
Voutsadakis, George
9
2007
Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions. Zbl 1137.03039
Voutsadakis, George
5
2007
Categorical abstract algebraic logic: subdirect representation of pofunctors. Zbl 1110.18003
Voutsadakis, George
2
2007
Categorical abstract algebraic logic: the categorical Suszko operator. Zbl 1134.03045
Voutsadakis, George
2
2007
Categorical abstract algebraic logic: Strong version of a protoalgebraic \(\pi\)-institution. Zbl 1133.03044
Voutsadakis, George
1
2007
Categorical abstract algebraic logic: structure systems and Łoś’ theorem. Zbl 1166.03040
Voutsadakis, George
1
2007
Categorical abstract algebraic logic: The diagram and the reduction operator lemmas. Zbl 1117.03073
Voutsadakis, George
1
2007
Dedekind-MacNeille completion of \(n\)-ordered sets. Zbl 1125.06002
Voutsadakis, George
1
2007
Categorical abstract algebraic logic: more on protoalgebraicity. Zbl 1134.03044
Voutsadakis, George
9
2006
Categorical abstract algebraic logic: Partially ordered algebraic systems. Zbl 1106.03058
Voutsadakis, George
4
2006
Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties. Zbl 1135.03034
Voutsadakis, George
4
2006
Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties. Zbl 1117.03072
Voutsadakis, George
3
2006
Categorical abstract algebraic logic: The largest theory system included in a theory family. Zbl 1102.03066
Voutsadakis, George
2
2006
Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems. Zbl 1111.03057
Voutsadakis, George
1
2006
Categorical abstract algebraic logic: models of \(\pi\)-institutions. Zbl 1089.03058
Voutsadakis, George
10
2005
Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems. Zbl 1089.03057
Voutsadakis, George
8
2005
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms. Zbl 1067.03070
Voutsadakis, George
6
2005
Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems. Zbl 1089.03056
Voutsadakis, George
2
2005
Categorical abstract algebraic logic: categorical algebraization of equational logic. Zbl 1067.03069
Voutsadakis, George
5
2004
On the categorical algebras of first-order logic. Zbl 1066.18005
Voutsadakis, George
4
2004
A categorical construction of a variety of clone algebras. Zbl 1059.18003
Voutsadakis, George
1
2004
A categorical approach to threshold agent networks. Zbl 1051.93006
Voutsadakis, George
1
2004
Categorical abstract algebraic logic: Equivalent institutions. Zbl 1043.03049
Voutsadakis, George
10
2003
Categorical abstract algebraic logic. Metalogical properties. Zbl 1030.03049
Voutsadakis, George
1
2003
Polyadic concept analysis. Zbl 1013.06006
Voutsadakis, George
16
2002
Categorical abstract algebraic logic: Algebraizable institutions. Zbl 1028.03051
Voutsadakis, George
15
2002
A duality theory for bilattices. Zbl 1012.06008
Mobasher, B.; Pigozzi, D.; Slutzki, G.; Voutsadakis, G.
22
2000
all top 5

Cited by 82 Authors

24 Voutsadakis, George
6 Rivieccio, Umberto
5 Ignatov, Dmitry I.
4 Movsisyan, Yuri Movses
3 Kuznetsov, Sergei O.
2 Bazin, Alexandre
2 Bou, Félix
2 Cabrer, Leonardo Manuel
2 Diaconescu, Răzvan
2 Jansana, Ramon
2 Jung, Achim
2 Kwuida, Léonard
2 Missaoui, Rokia
2 Napoli, Amedeo
2 Priestley, Hilary A.
2 Shramko, Yaroslav V.
2 Zhou, Chunlai
1 Analyti, Anastasia
1 Antoniou, Grigoris
1 Bao, Jie
1 Bělohlávek, Radim
1 Blass, Andreas Raphael
1 Böhme, Stephan
1 Boley, Mario
1 Braud, Agnès
1 Caleiro, Carlos
1 Cellier, Peggy
1 Couceiro, Miguel
1 Craig, Andrew P. K.
1 Davey, Brian A.
1 Davidova, Diana S.
1 De Bie, Tijl
1 Devignes, Marie-Dominique
1 Dolques, Xavier
1 Egurnov, D. A.
1 Egurnov, Dmitry
1 Ferré, Sébastien
1 Ferreirim, Isabel M. A.
1 Galatos, Nikolaos
1 Ghidini, Chiara
1 Gil-Férez, José
1 Gnatyshak, Dmitry V.
1 Gonçalves, Ricardo
1 Gutierrez, Alain
1 Haviar, Miroslav
1 Honavar, Vasant
1 Huchard, Marianne
1 Jakl, Tomáš
1 Kaytoue, Mehdi
1 Keip, Priscilla
1 Koutras, Costas D.
1 Le Ber, Florence
1 Lippmann, Marcel
1 Macko, Juraj
1 Martin, Pierre
1 Martins, Manuel António
1 Mirkin, Boris G.
1 Morcillo, Pedro J.
1 Moreno, Ginés
1 Nica, Cristina
1 Osicka, Petr
1 Pachoulakis, Ioannis
1 Parsia, Bijan
1 Penabad, Jaime
1 Pigozzi, Don Leonard
1 Pitsiladis, Georgios V.
1 Poelmans, Jonas
1 Pultr, Aleš
1 Raftery, James G.
1 Romanowska, Anna B.
1 Sattler, Uli
1 Schauerte, Anneliese
1 Serafini, Luciano
1 Silvie, Pierre
1 Slutzki, Giora
1 Smith, Jonathan Dallas Hayden
1 Spyropoulou, Eirini
1 Tochilkin, Dmitry
1 Viegas Damásio, Carlos
1 Wansing, Heinrich Theodor
1 Zhao, Haoruo
1 Zhukov, Leonid E.

Citations by Year