Skip to main content

7 Result(s)

within D. Pigozzi Remove this filter Algebra Remove this filter

and

  1. 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)

  2. 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)

  3. 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)

  4. 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)

  5. 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)

  6. No Access

    Article

    On the structure of varieties with equationally definable principal congruences I

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

  7. No Access

    Article

    On some operations on classes of algebras

    D. Pigozzi in algebra universalis (1972)