Skip to main content

7 Result(s)

within J. P. Díaz Varela Remove this filter

and

  1. No Access

    Article

    Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras

    In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive s...

    M. Campercholi, D. Castaño, J. P. Díaz Varela in Studia Logica (2011)

  2. No Access

    Article

    Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras

    There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L p,k , on a given finite field F(p ...

    J. P. Díaz Varela, B. F. López Martinolich in Studia Logica (2011)

  3. No Access

    Article

    Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices

    In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬x ∨ ¬¬x = 1. Some applications are given...

    D. Castaño, J. P. Díaz Varela, A. Torrens in Studia Logica (2011)

  4. No Access

    Article

    Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit

    In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras an...

    C. Cimadamore, J. P. Díaz Varela in Studia Logica (2011)

  5. No Access

    Article

    The variety generated by semi-Heyting chains

    The purpose of this paper was to investigate the structure of semi-Heyting chains and the variety \({{\mathcal{CSH}}}\) ...

    M. Abad, J. M. Cornejo, J. P. Díaz Varela in Soft Computing (2010)

  6. No Access

    Article

    An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

    In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L p,k, and the finite field F(p k) with constants F(p). By using Lagrange polynomials,...

    M. Abad, J. P. Díaz Varela… in Central European Journal of Mathematics (2006)

  7. No Access

    Article

    Varieties of Three-Valued Heyting Algebras with a Quantifier

    This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ...

    M. Abad, J.P. Díaz Varela, L.A. Rueda, A.M. Suardíaz in Studia Logica (2000)