Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

A Survey of Abstract Algebraic Logic

Josep Maria Font, Ramón Jansana, Don Pigozzi · Studia Logica · 2003 · 259 citations

Humanities, Computer Science, Mathematics +12

Ideals in universal algebras

H. Peter Gumm, Aldo Ursini · Algebra Universalis · 1984 · 163 citations

Natural Sciences, Mathematics, Algebra +6

On the structure of varieties with equationally definable principal congruences IV

W. J. Blok, Don Pigozzi · Algebra Universalis · 1994 · 154 citations

Natural Sciences, Higher Education, Generalizability Theory +4

On subtractive varieties, I

Aldo Ursini · Algebra Universalis · 1994 · 123 citations

Natural Sciences, Mathematics, Algebra +3

Sequent and hypersequent calculi for abelian and łukasiewicz logics

George Metcalfe, Nicola Olivetti, Dov M. Gabbay · ACM Transactions on Computational Logic · 2005 · 73 citations · Full text

Humanities, Computer Science, Mathematics +13