Algebraizable logics WJ Blok, D Pigozzi American Mathematical Soc., 1989 | 1248 | 1989 |
A survey of abstract algebraic logic JM Font, R Jansana, D Pigozzi Studia Logica 74, 13-97, 2003 | 399 | 2003 |
Protoalgebraic logics WJ Blok, D Pigozzi Studia Logica 45, 337-369, 1986 | 231 | 1986 |
On the structure of varieties with equationally definable principal congruences I WJ Blok, D Pigozzi Algebra Universalis 15 (1), 195-227, 1982 | 194 | 1982 |
Algebraic semantics for universal Horn logic without equality WJ Blok, D Pigozzi Universal Algebra and Quasigroup Theory 19 (1-56), 111-112, 1992 | 183 | 1992 |
Amalgamation, congruence-extension, and interpolation properties in algebras D Pigozzi Algebra Universalis 1, 269-349, 1971 | 149 | 1971 |
Abstract algebraic logic and the deduction theorem WJ Blok, D Pigozzi Bulletin of Symbolic Logic, 81, 2001 | 141 | 2001 |
On the structure of varieties with equationally definable principal congruences III WJ Blok, D Pigozzi Algebra Universalis 32 (4), 545-608, 1994 | 134 | 1994 |
Amalgamation and interpolation in abstract algebraic logic J Czelakowski, D Pigozzi Models, algebras, and proofs, 187-265, 2021 | 113 | 2021 |
Varieties with equationally definable principal congruences P Köhler, D Pigozzi Algebra Universalis 11 (1), 213-219, 1980 | 106 | 1980 |
Local deducation theorems in algebra logic WJ Blok Colloquia Mathematica Societatis János Bolyai, 75-109, 1988 | 105 | 1988 |
On the structure of varieties with equationally definable principal congruences II WJ Blok, P Köhler, D Pigozzi Algebra Universalis 18, 334-379, 1984 | 97 | 1984 |
Algebraizable logics, volume 396 of Mem WJ Blok, D Pigozzi Amer. Math. Soc. AMS, Providence 21, 25, 1989 | 94 | 1989 |
Fregean logics J Czelakowski, D Pigozzi Annals of Pure and Applied Logic 127 (1-3), 17-76, 2004 | 88 | 2004 |
Finite basis theorems for relatively congruence-distributive quasivarieties D Pigozzi Transactions of the American Mathematical Society 310 (2), 499-533, 1988 | 79 | 1988 |
The join of equational theories D Pigozzi Colloquium Mathematicum 1 (30), 15-25, 1974 | 58 | 1974 |
Fregean algebraic logic D Pigozzi Algebraic logic 54, 473-502, 1991 | 55 | 1991 |
On some operations on classes of algebras D Pigozzi Algebra Universalis 2, 346-353, 1972 | 55 | 1972 |
On the structure of varieties with equationally definable principal congruences IV WJ Blok, D Pigozzi Algebra Universalis 31 (1), 1-35, 1994 | 51 | 1994 |
A duality theory for bilattices B Mobasher, D Pigozzi, G Slutzki, G Voutsadakis Algebra universalis 43 (2), 109-125, 2000 | 50 | 2000 |