Skip to main content

14 Result(s)

within D. Pigozzi Remove this filter

and

  1. No Access

    Article

    Update to “A Survey of Abstract Algebraic Logic”

    A definition and some inaccurate cross-references in the paper A Survey of Abstract Algebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. ...

    J. M. Font, R. Jansana, D. Pigozzi in Studia Logica (2009)

  2. No Access

    Article

    Fregean logics with the multiterm deduction theorem and their algebraization

    A deductive system \(\mathcal{S}\) (in the sense of Tarski) is Fregean if the relation of interderivability, relati...

    J. Czelakowski, D. Pigozzi in Studia Logica (2004)

  3. No Access

    Article

    A Survey of Abstract Algebraic Logic

    J. M. Font, R. Jansana, D. Pigozzi in Studia Logica (2003)

  4. Book Series

    Encyclopaedia of Mathematics

    Volume 1 / 1995 to Volume 10 / 1994

  5. No Access

    Book

    Encyclopaedia of Mathematics, Supplement III

    M. Hazewinkel in Encyclopaedia of Mathematics (2002)

  6. No Access

    Article

    A duality theory for bilattices

    Recent studies of the algebraic properties of bilattices have provided insight into their internal strucutres, and have led to practical results, especially in reducing the computational complexity of bilatti...

    B. Mobasher, D. Pigozzi, G. Slutzki, G. Voutsadakis in algebra universalis (2000)

  7. No Access

    Article

    On the congruence extension property

    It is shown that a quasivariety has the extension property for all relative congruences if it has the extension property for principal relative congruences. This generalizes the analogous result for varieties...

    W.J. Blok, D. Pigozzi in algebra universalis (1997)

  8. No Access

    Article

    Gentzen-style axiomatizations in equational logic

    The notion of a Gentzen-style axiomatization of equational theories is presented. In the standard deductive systems for equational logic axioms take the form of equations and the inference rules can be viewed ...

    K. Palasińska, D. Pigozzi in algebra universalis (1995)

  9. No Access

    Article

    On the structure of varieties with equationally definable principal congruences III

    p(x, y, z) is aternary deduction (TD) term function on an algebra A if, for alla, b ε A, p(a, b,z) ≡ z (modΘ (a, b)), and {p(a, b, z): z εA} is a transversal of the set of equivalence classes of the principal con...

    W. J. Blok, D. Pigozzi in algebra universalis (1994)

  10. No Access

    Article

    Introduction

    W. J. Blok, D. Pigozzi in Studia Logica (1991)

  11. No Access

    Article

    On the structure of varieties with equationally definable principal congruences II

    W. J. Blok, P. Köhler, D. Pigozzi in algebra universalis (1984)

  12. No Access

    Article

    On the structure of varieties with equationally definable principal congruences I

    W. J. Blok, D. Pigozzi in algebra universalis (1982)

  13. No Access

    Article

    Endomorphisms of direct unions of bounded lattices

    M. E. Adams, D. Pigozzi, J. Sichler in Archiv der Mathematik (1981)

  14. No Access

    Article

    On some operations on classes of algebras

    D. Pigozzi in algebra universalis (1972)