Pigozzi, Don; Salibra, Antonino The abstract variable-binding calculus. (English) Zbl 0836.03038 Stud. Log. 55, No. 1, 129-179 (1995). MSC: 03G15 PDFBibTeX XMLCite \textit{D. Pigozzi} and \textit{A. Salibra}, Stud. Log. 55, No. 1, 129--179 (1995; Zbl 0836.03038) Full Text: DOI
Blok, W. J.; Köhler, P.; Pigozzi, D. On the structure of varieties with equationally definable principal congruences. II. (English) Zbl 0558.08001 Algebra Univers. 18, 334-379 (1984). Reviewer: E.Fried MSC: 08B05 08A30 08B10 03C05 PDFBibTeX XMLCite \textit{W. J. Blok} et al., Algebra Univers. 18, 334--379 (1984; Zbl 0558.08001) Full Text: DOI
Pigozzi, Don Amalgamation, congruence-extension, and interpolation properties in algebras. (English) Zbl 0236.02047 Algebra Univers. 1, 269-349 (1972). MSC: 03G15 03C40 08A05 PDFBibTeX XMLCite \textit{D. Pigozzi}, Algebra Univers. 1, 269--349 (1972; Zbl 0236.02047) Full Text: DOI