•  23
    Varieties of Three-Values Heyting Algebras with a Quantifier
    with Manuel Abad and L. A. Rueda
    Studia Logica 65 (2): 181-198. 2000.
    This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct the la…Read more
  •  31
    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 k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) …Read more
  •  14
    Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit
    with C. Cimadamore
    Studia Logica 98 (1-2): 175-201. 2011.
    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 and the category of monadic ℓ -groups with strong unit. Some applications are given thereof
  •  15
    Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
    with D. Castaño and A. Torrens
    Studia Logica 98 (1-2): 223-235. 2011.
    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
  •  17
    Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras
    with M. Campercholi and D. Castaño
    Studia Logica 98 (1-2): 267-283. 2011.
    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 some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains
  •  22
    Documentas del Concilio Vaticano II (review)
    Augustinianum 6 (3): 575-576. 1966.
  • El Mesías y la realización de la justicia escatológica
    Salmanticensis 23 (1): 61-84. 1976.