×

zbMATH — the first resource for mathematics

Pigozzi, Don Leonard

Compute Distance To:
Author ID: pigozzi.don-l Recent zbMATH articles by "Pigozzi, Don Leonard"
Published as: Pigozzi, Don; Pigozzi, D.; Pigozzi, Don L.; Pigozzi, Don J.
External Links: MGP · dblp
Documents Indexed: 58 Publications since 1972, including 3 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 1,061 times in 357 Documents Cited by Year
Algebraizable logics. Zbl 0664.03042
Blok, W. J.; Pigozzi, D.
266
1989
A survey of abstract algebraic logic. Zbl 1057.03058
Font, J. M.; Jansana, R.; Pigozzi, D.
103
2003
Protoalgebraic logics. Zbl 0622.03020
Blok, W. J.; Pigozzi, Don
63
1986
On the structure of varieties with equationally definable principal congruences. I. Zbl 0512.08002
Blok, W. J.; Pigozzi, D.
60
1982
Algebraic semantics for universal Horn logic without equality. Zbl 0768.03008
Blok, W. J.; Pigozzi, D.
41
1992
Varieties with equationally definable principal congruences. Zbl 0448.08005
Köhler, Peter; Pigozzi, Don
39
1980
Amalgamation, congruence-extension, and interpolation properties in algebras. Zbl 0236.02047
Pigozzi, Don
37
1972
On the structure of varieties with equationally definable principal congruences. III. Zbl 0817.08004
Blok, W. J.; Pigozzi, D.
34
1994
Finite basis theorems for relatively congruence-distributive quasivarieties. Zbl 0706.08009
Pigozzi, Don
30
1988
Amalgamation and interpolation in abstract algebraic logic. Zbl 0927.03086
Czelakowski, Janusz; Pigozzi, Don
29
1999
On the structure of varieties with equationally definable principal congruences. II. Zbl 0558.08001
Blok, W. J.; Köhler, P.; Pigozzi, D.
28
1984
Local deduction theorems in algebraic logic. Zbl 0751.03036
Blok, Wim J.; Pigozzi, Don L.
23
1991
Fregean logics. Zbl 1076.03045
Czelakowski, J.; Pigozzi, D.
23
2004
A duality theory for bilattices. Zbl 1012.06008
Mobasher, B.; Pigozzi, D.; Slutzki, G.; Voutsadakis, G.
21
2000
On some operations on classes of algebras. Zbl 0272.08006
Pigozzi, D.
17
1972
Introduction to the special issue on algebraic logic. Zbl 0755.03034
Blok, W. J.; Pigozzi, Don
16
1991
On the structure of varieties with equationally definable principal congruences. IV. Zbl 0817.08005
Blok, W. J.; Pigozzi, Don
16
1994
Update to “A survey of abstract algebraic logic”. Zbl 1162.03322
Font, J. M.; Jansana, R.; Pigozzi, D.
15
2009
Universal equational theories and varieties of algebras. Zbl 0436.03021
Pigozzi, Don
13
1979
Base-undecidable properties of universal varieties. Zbl 0356.08005
Pigozzi, Don
13
1976
Fregean algebraic logic. Zbl 0749.03055
Pigozzi, Don J.
12
1991
Minimal, locally-finite varieties that are not finitely axiomatizable. Zbl 0426.08003
Pigozzi, Don
12
1979
Equality-test and if-then-else algebras: Axiomatization and specification. Zbl 0736.68061
Pigozzi, Don
10
1991
Multi-valued logic programming semantics An algebraic approach. Zbl 0874.68046
Mobasher, Bamshad; Pigozzi, Don; Slutzki, Giora
10
1997
The join of equational theories. Zbl 0319.02037
Pigozzi, Don
10
1974
Lambda abstraction algebras: representation theorems. Zbl 0874.68188
Pigozzi, Don; Salibra, Antonino
9
1995
Fregean logics with the multiterm deduction theorem and their algebraization. Zbl 1058.03078
Czelakowski, J.; Pigozzi, D.
9
2004
Behavioural reasoning for conditional equations. Zbl 1129.68025
Martins, Manuel A.; Pigozzi, Don
9
2007
Fully adequate Gentzen systems and the deduction theorem. Zbl 1004.03053
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2001
A finite basis theorem for quasivarieties. Zbl 0569.08004
Blok, W. J.; Pigozzi, Don
8
1986
On the closure properties of the class of full G-models of a deductive system. Zbl 1106.03060
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2006
The abstract variable-binding calculus. Zbl 0836.03038
Pigozzi, Don; Salibra, Antonino
7
1995
An introduction to lambda abstraction algebras. Zbl 0820.03039
Pigozzi, Don; Salibra, Antonino
6
1993
The universality of the variety of quasigroups. Zbl 0323.20073
Pigozzi, Don
6
1976
A complete algebraic characterization of behavioral subtyping. Zbl 0951.68018
Leavens, Gary T.; Pigozzi, Don
5
2000
Lambda abstraction algebras: Coordinatizing models of lambda calculus. Zbl 0909.03018
Pigozzi, Don; Salibra, Antonino
5
1998
A representation theorem for lambda abstraction algebras. Zbl 0925.03087
Pigozzi, Don; Salibra, Antonino
5
1993
Polyadic algebras over nonclassical logics. Zbl 0794.03092
Pigozzi, Don; Salibra, Antonino
5
1993
Alfred Tarski’s work on general metamathematics. Zbl 0651.03002
Blok, W. J.; Pigozzi, Don
5
1988
Finite groupoids without finite bases for their identities. Zbl 0475.08005
Pigozzi, Don
4
1981
On the structure of equationally complete varieties. I. Zbl 0492.08005
Pigozzi, Don
4
1981
On the structure of equationally complete varieties. II. Zbl 0492.08006
Pigozzi, Don
4
1981
Gentzen-style axiomatizations in equational logic. Zbl 0831.08002
Pałasińska, K.; Pigozzi, D.
3
1995
A lattice theoretic characterization of equivalent quasivarieties. Zbl 0760.08006
Pigozzi, Don
3
1992
The behavior-realization adjunction and generalized homomorphic relations. Zbl 0901.68123
Leavens, Gray T.; Pigozzi, Don
3
1997
Data types over multiple-valued logics. Zbl 0716.03012
Pigozzi, Don
2
1990
Abstract algebraic logic. Zbl 0927.03085
Pigozzi, Don
1
1999
Endomorphisms of direct unions of bounded lattices. Zbl 0443.06007
Adams, M. E.; Pigozzi, D.; Sichler, J.
1
1981
Update to “A survey of abstract algebraic logic”. Zbl 1162.03322
Font, J. M.; Jansana, R.; Pigozzi, D.
15
2009
Behavioural reasoning for conditional equations. Zbl 1129.68025
Martins, Manuel A.; Pigozzi, Don
9
2007
On the closure properties of the class of full G-models of a deductive system. Zbl 1106.03060
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2006
Fregean logics. Zbl 1076.03045
Czelakowski, J.; Pigozzi, D.
23
2004
Fregean logics with the multiterm deduction theorem and their algebraization. Zbl 1058.03078
Czelakowski, J.; Pigozzi, D.
9
2004
A survey of abstract algebraic logic. Zbl 1057.03058
Font, J. M.; Jansana, R.; Pigozzi, D.
103
2003
Fully adequate Gentzen systems and the deduction theorem. Zbl 1004.03053
Font, Josep Maria; Jansana, Ramon; Pigozzi, Don
8
2001
A duality theory for bilattices. Zbl 1012.06008
Mobasher, B.; Pigozzi, D.; Slutzki, G.; Voutsadakis, G.
21
2000
A complete algebraic characterization of behavioral subtyping. Zbl 0951.68018
Leavens, Gary T.; Pigozzi, Don
5
2000
Amalgamation and interpolation in abstract algebraic logic. Zbl 0927.03086
Czelakowski, Janusz; Pigozzi, Don
29
1999
Abstract algebraic logic. Zbl 0927.03085
Pigozzi, Don
1
1999
Lambda abstraction algebras: Coordinatizing models of lambda calculus. Zbl 0909.03018
Pigozzi, Don; Salibra, Antonino
5
1998
Multi-valued logic programming semantics An algebraic approach. Zbl 0874.68046
Mobasher, Bamshad; Pigozzi, Don; Slutzki, Giora
10
1997
The behavior-realization adjunction and generalized homomorphic relations. Zbl 0901.68123
Leavens, Gray T.; Pigozzi, Don
3
1997
Lambda abstraction algebras: representation theorems. Zbl 0874.68188
Pigozzi, Don; Salibra, Antonino
9
1995
The abstract variable-binding calculus. Zbl 0836.03038
Pigozzi, Don; Salibra, Antonino
7
1995
Gentzen-style axiomatizations in equational logic. Zbl 0831.08002
Pałasińska, K.; Pigozzi, D.
3
1995
On the structure of varieties with equationally definable principal congruences. III. Zbl 0817.08004
Blok, W. J.; Pigozzi, D.
34
1994
On the structure of varieties with equationally definable principal congruences. IV. Zbl 0817.08005
Blok, W. J.; Pigozzi, Don
16
1994
An introduction to lambda abstraction algebras. Zbl 0820.03039
Pigozzi, Don; Salibra, Antonino
6
1993
A representation theorem for lambda abstraction algebras. Zbl 0925.03087
Pigozzi, Don; Salibra, Antonino
5
1993
Polyadic algebras over nonclassical logics. Zbl 0794.03092
Pigozzi, Don; Salibra, Antonino
5
1993
Algebraic semantics for universal Horn logic without equality. Zbl 0768.03008
Blok, W. J.; Pigozzi, D.
41
1992
A lattice theoretic characterization of equivalent quasivarieties. Zbl 0760.08006
Pigozzi, Don
3
1992
Local deduction theorems in algebraic logic. Zbl 0751.03036
Blok, Wim J.; Pigozzi, Don L.
23
1991
Introduction to the special issue on algebraic logic. Zbl 0755.03034
Blok, W. J.; Pigozzi, Don
16
1991
Fregean algebraic logic. Zbl 0749.03055
Pigozzi, Don J.
12
1991
Equality-test and if-then-else algebras: Axiomatization and specification. Zbl 0736.68061
Pigozzi, Don
10
1991
Data types over multiple-valued logics. Zbl 0716.03012
Pigozzi, Don
2
1990
Algebraizable logics. Zbl 0664.03042
Blok, W. J.; Pigozzi, D.
266
1989
Finite basis theorems for relatively congruence-distributive quasivarieties. Zbl 0706.08009
Pigozzi, Don
30
1988
Alfred Tarski’s work on general metamathematics. Zbl 0651.03002
Blok, W. J.; Pigozzi, Don
5
1988
Protoalgebraic logics. Zbl 0622.03020
Blok, W. J.; Pigozzi, Don
63
1986
A finite basis theorem for quasivarieties. Zbl 0569.08004
Blok, W. J.; Pigozzi, Don
8
1986
On the structure of varieties with equationally definable principal congruences. II. Zbl 0558.08001
Blok, W. J.; Köhler, P.; Pigozzi, D.
28
1984
On the structure of varieties with equationally definable principal congruences. I. Zbl 0512.08002
Blok, W. J.; Pigozzi, D.
60
1982
Finite groupoids without finite bases for their identities. Zbl 0475.08005
Pigozzi, Don
4
1981
On the structure of equationally complete varieties. I. Zbl 0492.08005
Pigozzi, Don
4
1981
On the structure of equationally complete varieties. II. Zbl 0492.08006
Pigozzi, Don
4
1981
Endomorphisms of direct unions of bounded lattices. Zbl 0443.06007
Adams, M. E.; Pigozzi, D.; Sichler, J.
1
1981
Varieties with equationally definable principal congruences. Zbl 0448.08005
Köhler, Peter; Pigozzi, Don
39
1980
Universal equational theories and varieties of algebras. Zbl 0436.03021
Pigozzi, Don
13
1979
Minimal, locally-finite varieties that are not finitely axiomatizable. Zbl 0426.08003
Pigozzi, Don
12
1979
Base-undecidable properties of universal varieties. Zbl 0356.08005
Pigozzi, Don
13
1976
The universality of the variety of quasigroups. Zbl 0323.20073
Pigozzi, Don
6
1976
The join of equational theories. Zbl 0319.02037
Pigozzi, Don
10
1974
Amalgamation, congruence-extension, and interpolation properties in algebras. Zbl 0236.02047
Pigozzi, Don
37
1972
On some operations on classes of algebras. Zbl 0272.08006
Pigozzi, D.
17
1972
all top 5

Cited by 251 Authors

20 Jansana, Ramon
20 Pigozzi, Don Leonard
17 Moraschini, Tommaso
17 Raftery, James G.
16 Voutsadakis, George
15 Font, Josep Maria
13 Czelakowski, Janusz
12 Cintula, Petr
11 Paoli, Francesco
11 Sayed Ahmed, Tarek
9 Ledda, Antonio
9 Noguera, Carles
9 Salibra, Antonino
9 Spinks, Matthew
8 Dziobiak, Wiesław
8 Rivieccio, Umberto
7 Maksimova, Larisa L’vovna
7 Martins, Manuel António
6 Movsisyan, Yuri Movses
5 Cornejo, Juan Manuel
5 Galatos, Nikolaos
5 McNulty, George F.
5 Nurakunov, Anvar Mukhparovich
4 Agliano, Paolo
4 Cabrer, Leonardo Manuel
4 Caleiro, Carlos
4 Ghilardi, Silvio
4 Gil-Férez, José
4 Gonçalves, Ricardo
4 Kowalski, Tomasz Marek
4 Metcalfe, George
4 Németi, István
4 Słomczyńska, Katarzyna
4 Taylor, Walter F.
4 Verdú, Ventura
4 Veroff, Robert
4 Wannenburg, Johann J.
3 Albuquerque, Hugo
3 Blok, Willem Johannes
3 Bonzio, Stefano
3 Bou, Félix
3 Giuntini, Roberto
3 Humberstone, Lloyd
3 Idziak, Paweł M.
3 Madeira, Alexandre
3 McKenzie, Ralph N.
3 Ono, Hiroakira
3 Pałasińska, Katarzyna
3 Pinus, Aleksandr Georgievich
3 Priestley, Hilary A.
3 Rachůnek, Jiří
3 Rasga, João
3 Sernadas, Cristina S.
3 Silberger, Donald M.
3 Stronkowski, Michał Marek
3 Viglizzo, Ignacio Darío
2 Andréka, Hajnal
2 Araújo, João
2 Aslanyan, Vahagn A.
2 Baader, Franz
2 Babenyshev, Sergey
2 Barbosa, Luís Soares
2 Bergman, Clifford
2 Bezhanishvili, Guram
2 Bhaduri, Purandar
2 Blok, Wim J.
2 Citkin, Alex
2 Comer, Stephen Daniel
2 Dellunde, Pilar
2 Freytes, Hector
2 Gispert, Joan
2 Goldblatt, Robert Ian
2 González, Luciano Javier
2 Gorbunov, Viktor Aleksandrovich
2 Hájek, Petr
2 Ježek, Jaroslav
2 Jung, Achim
2 Kalfa, Cornelia
2 Kearnes, Keith A.
2 Lávička, Tomáš
2 Marchioni, Enrico
2 Maróti, Miklós
2 Odintsov, Sergei P.
2 Palmigiano, Alessandra
2 Panicker, Gayatri
2 Peruzzi, Luisa
2 Přenosil, Adam
2 Rodenburg, Piet H.
2 Romanowska, Anna B.
2 Šalounová, Dana
2 Stokes, Timothy E.
2 Tinelli, Cesare
2 Torrens Torrell, Antoni
2 Tsinakis, Constantine
2 Wang, Sanmin
2 Wansing, Heinrich Theodor
2 Wronski, Andrzej
2 Zhou, Chunlai
1 Aladova, Elena V.
1 Ambas, Olga
...and 151 more Authors
all top 5

Cited in 62 Serials

72 Studia Logica
54 Algebra Universalis
19 Annals of Pure and Applied Logic
15 The Journal of Symbolic Logic
15 Archive for Mathematical Logic
12 Theoretical Computer Science
10 Mathematical Logic Quarterly (MLQ)
7 Algebra and Logic
7 Fuzzy Sets and Systems
7 International Journal of Algebra and Computation
7 Logica Universalis
7 The Review of Symbolic Logic
6 Notre Dame Journal of Formal Logic
5 Transactions of the American Mathematical Society
5 Information and Computation
5 Applied Categorical Structures
4 Communications in Algebra
4 Journal of Algebra
4 Order
3 International Journal of Theoretical Physics
3 Journal of Philosophical Logic
3 Journal of Applied Non-Classical Logics
3 The Bulletin of Symbolic Logic
3 Soft Computing
3 Logic and Logical Philosophy
3 Journal of Applied Logic
2 Czechoslovak Mathematical Journal
2 Journal of Pure and Applied Algebra
2 Journal of Soviet Mathematics
2 Synthese
2 MSCS. Mathematical Structures in Computer Science
2 The Journal of Logic and Algebraic Programming
2 Journal of Algebra and its Applications
2 Proceedings of the Steklov Institute of Mathematics
2 Armenian Journal of Mathematics
1 Artificial Intelligence
1 Information Processing Letters
1 Israel Journal of Mathematics
1 Periodica Mathematica Hungarica
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Advances in Mathematics
1 Demonstratio Mathematica
1 Glasgow Mathematical Journal
1 Information Sciences
1 Quaestiones Mathematicae
1 Siberian Mathematical Journal
1 Bulletin of the Section of Logic
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Aequationes Mathematicae
1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics
1 Journal of Logic, Language and Information
1 Journal of the Egyptian Mathematical Society
1 RAIRO. Theoretical Informatics and Applications
1 Journal of the Australian Mathematical Society
1 Portugaliae Mathematica. Nova Série
1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
1 Central European Journal of Mathematics
1 Journal of Mathematics
1 European Journal of Mathematics
1 The Art of Discrete and Applied Mathematics

Citations by Year