8 found
Order:
  1.  48
    Sur les Algèbres de Hilbert.Antonio Diego, Jean Porte & Luisa Iturrioz - 1970 - Journal of Symbolic Logic 35 (1):139-139.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  2.  17
    Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.
  3.  24
    Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.
  4.  14
    Symmetrical Heyting algebras with operators.Luisa Iturrioz - 1983 - Mathematical Logic Quarterly 29 (2):33-70.
  5. Rough sets and three-valued structures.Luisa Iturrioz - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 24--596.
     
    Export citation  
     
    Bookmark   2 citations  
  6.  46
    Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
    The main purpose of this paper is to introduce a class of algebraic structures related to many-valued ukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  15
    An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
  8.  12
    Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.