8 found
Order:
  1.  41
    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   19 citations  
  2.  12
    Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.
  3.  22
    Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.
  4.  10
    Symmetrical Heyting algebras with operators.Luisa Iturrioz - 1983 - Mathematical Logic Quarterly 29 (2):33-70.
  5.  40
    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  
  6. Rough sets and three-valued structures.Luisa Iturrioz - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 24--596.
     
    Export citation  
     
    Bookmark   1 citation  
  7.  12
    Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.
  8.  15
    An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.