Search results for 'J. P. Díaz Varela' (try it on Scholar)

12 found
Sort by:
  1. M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.score: 502.5
    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 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. C. A. Di Prisco, C. E. Uzcategui, J. Bagaria, Sy D. Friedman, R. Bianconi, E. A. Cichon, E. Tahhan-Bittar, M. E. Coniglio, F. Miraglia & J. P. Di'az Varela (2001). Xlth Latin American Symposium on Mathematical Logic Merida, Venezuela, 6-1 0 July, 1998. Annals of Pure and Applied Logic 108 (1-3).score: 285.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. J. P. Díaz Varela & B. F. López Martinolich (2011). Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras. Studia Logica 98 (1-2):307-330.score: 52.5
    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 ) (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. M. Campercholi, D. Castaño & J. P. Díaz Varela (2011). Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras. Studia Logica 98 (1-2):267-283.score: 49.5
    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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. D. Castaño, J. P. Díaz Varela & A. Torrens (2011). Free-Decomposability in Varieties of Pseudocomplemented Residuated Lattices. Studia Logica 98 (1-2):223-235.score: 49.5
    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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. C. Cimadamore & J. P. Díaz Varela (2011). Monadic MV-Algebras Are Equivalent to Monadic ℓ-Groups with Strong Unit. Studia Logica 98 (1-2):175-201.score: 49.5
    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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Manuel Abad, J. P. Diaz Varela & L. A. Rueda (2000). Varieties of Three-Values Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.score: 49.5
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. P. Valore (2003). J. Petitot-FJ Varela-B. Pachoud-JM Roy (Eds.), Naturalizing Phenomenology. Issues in Contemporary Phenomenology and Cognitive Science. [REVIEW] Rivista di Storia Della Filosofia 58:786-787.score: 43.5
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. P. Carlos J. Sánchez Díaz (2009). Homenaje al P. Gabriel del Estal. Ciudad de Dios: Revista Agustiniana 222 (1):9-10.score: 36.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. J. P. Dı́az Varela (2001). On Subvarieties of Symmetric Closure Algebras. Annals of Pure and Applied Logic 108 (1-3):137-152.score: 28.5
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. S. Rabade Romeo, G. Bueno, C. Diaz, A. Lopez Quintas, J. Sadaba & P. Cerezo Galan (1986). Papel de la filosofia en una sociedad democratica. Diálogo Filosófico 2 (6):313-330.score: 27.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. J. A. Díaz (2009). Reseña de "Free Will and Reactive Attitudes. Perspectives on P. F. Strawson's "Freedom and Resentment" de McKenna, Michael and Russell, Paul, Eds. [REVIEW] Ideas y Valores 58 (141):242-245.score: 21.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation