A Survey of Abstract Algebraic Logic

[1] Adillon R.(1996)A Gentzen system equivalent to the BCK-logic Bulletin of the Section of Logic 25 73-79

[2] VerdÚ V.(2001)Fregean subtractive varieties with definable congruences J. Austral. Math. Soc. Ser. A 71 353-366

[3] Agliano P.(2001)Congruence quasi-orderability in subtractive varieties J. Austral. Math. Soc. Ser. A 71 421-455

[4] Agliano P.(1992)Ideals and other generalizations of congruence classes J. Austral. Math. Soc. Ser. A 53 103-115

[5] Agliano P.(1996)On subtractive varieties II: general properties Algebra Universalis 36 222-259

[6] Ursini A.(1997)On subtractive varieties III: from ideals to congruences Algebra Universalis 37 296-333

[7] Agliano P.(1997)On subtractive varieties IV: definability of principal ideals Algebra Universalis 38 355-389

[8] Ursini A.(1994)Elimination of cuts in first-order finite-valued logics Journal of Information Processing and Cybernetics EIK 29 6 333-355

[9] Agliano P.(1984)On the structure of varieties with equationally definable principal congruences II Algebra Universalis 18 334-379

[10] Ursini A.(1982)On the structure of varieties with equationally definable principal congruences I Algebra Universalis 15 195-227

[1] Adillon R.(1996)A Gentzen system equivalent to the BCK-logic Bulletin of the Section of Logic 25 73-79

[2] VerdÚ V.(2001)Fregean subtractive varieties with definable congruences J. Austral. Math. Soc. Ser. A 71 353-366

[3] Agliano P.(2001)Congruence quasi-orderability in subtractive varieties J. Austral. Math. Soc. Ser. A 71 421-455

[4] Agliano P.(1992)Ideals and other generalizations of congruence classes J. Austral. Math. Soc. Ser. A 53 103-115

[5] Agliano P.(1996)On subtractive varieties II: general properties Algebra Universalis 36 222-259

[6] Ursini A.(1997)On subtractive varieties III: from ideals to congruences Algebra Universalis 37 296-333

[7] Agliano P.(1997)On subtractive varieties IV: definability of principal ideals Algebra Universalis 38 355-389

[8] Ursini A.(1994)Elimination of cuts in first-order finite-valued logics Journal of Information Processing and Cybernetics EIK 29 6 333-355

[9] Agliano P.(1984)On the structure of varieties with equationally definable principal congruences II Algebra Universalis 18 334-379

[10] Ursini A.(1982)On the structure of varieties with equationally definable principal congruences I Algebra Universalis 15 195-227