Algebraizable logics WJ Blok, D Pigozzi American Mathematical Soc., 1989 | 1095 | 1989 |
A survey of abstract algebraic logic JM Font, R Jansana, D Pigozzi Studia Logica 74 (1-2), 13-97, 2003 | 363 | 2003 |
Protoalgebraic logics WJ Blok, D Pigozzi Studia Logica 45 (4), 337-369, 1986 | 208 | 1986 |
On the structure of varieties with equationally definable principal congruences I WJ Blok, D Pigozzi Algebra Universalis 15 (1), 195, 1982 | 169 | 1982 |
Algebraic semantics for universal Horn logic without equality WJ Blok, D Pigozzi Universal Algebra and Quasigroup Theory 19 (1-56), 111-112, 1992 | 157 | 1992 |
Amalgamation, congruence-extension, and interpolation properties in algebras D Pigozzi Algebra Universalis 1 (1), 269-349, 1971 | 128 | 1971 |
Abstract algebraic logic and the deduction theorem WJ Blok, D Pigozzi Bull. of Symbolic Logic, 2001 | 120 | 2001 |
On the structure of varieties with equationally definable principal congruences III WJ Blok, D Pigozzi Algebra Universalis 32 (4), 545-608, 1994 | 113 | 1994 |
Varieties with equationally definable principal congruences P Köhler, D Pigozzi Algebra Universalis 11 (1), 213-219, 1980 | 93 | 1980 |
Amalgamation and interpolation in abstract algebraic logic J Czelakowski, D Pigozzi Models, algebras, and proofs 203, 187-265, 1999 | 91 | 1999 |
On the structure of varieties with equationally definable principal congruences II WJ Blok, P Köhler, D Pigozzi Algebra Universalis 18 (3), 334-379, 1984 | 85 | 1984 |
Local deducation theorems in algebra logic WJ Blok Colloquia Mathematica Societatis János Bolyai, 75-109, 1988 | 81 | 1988 |
Fregean logics J Czelakowski, D Pigozzi Annals of Pure and Applied Logic 127 (1-3), 17-76, 2004 | 71 | 2004 |
Finite basis theorems for relatively congruence-distributive quasivarieties D Pigozzi Transactions of the American Mathematical Society 310 (2), 499-533, 1988 | 68 | 1988 |
The join of equational theories D Pigozzi Colloquium Mathematicum 1 (30), 15-25, 1974 | 53 | 1974 |
On some operations on classes of algebras D Pigozzi Algebra Universalis 2 (1), 346-353, 1972 | 51 | 1972 |
Fregean algebraic logic D Pigozzi Algebraic logic 54, 473-502, 1991 | 49 | 1991 |
On the structure of varieties with equationally definable principal congruences IV WJ Blok, D Pigozzi Algebra Universalis 31 (1), 1-35, 1994 | 47 | 1994 |
A duality theory for bilattices B Mobasher, D Pigozzi, G Slutzki, G Voutsadakis Algebra universalis 43 (2-3), 109-125, 2000 | 44 | 2000 |
Lambda abstraction algebras: representation theorems D Pigozzi, A Salibra Theoretical Computer Science 140 (1), 5-52, 1995 | 38 | 1995 |