Works by Abad, M. (exact spelling)

Order:
  1.  94
    Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. On three-valued Moisil algebras.M. Abad & L. Monteiro - 1984 - Logique Et Analyse 27 (8):407-414.