-
29Varieties of Three-Values Heyting Algebras with a QuantifierStudia 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
-
47Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post AlgebrasStudia Logica 98 (1-2): 307-330. 2011.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
-
15Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong UnitStudia 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
-
17Free-decomposability in Varieties of Pseudocomplemented Residuated LatticesStudia 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
-
25Quasivarieties and Congruence Permutability of Łukasiewicz Implication AlgebrasStudia 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
-
18Reseña de 'Carolina Rodríguez. La filosofía analítica en Colombia'Ideas Y Valores 53 (125). 2004.
Pomona, California, United States of America