Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • A partially ordered extention of the integers.George Epstein & Helena Rasiowa - 1995 - Studia Logica 54 (3):303 - 332.
    This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.
    Download  
     
    Export citation  
     
    Bookmark  
  • Axiomatization and completeness of uncountably valued approximation logic.Helena Rasiowa - 1994 - Studia Logica 53 (1):137 - 160.
    Download  
     
    Export citation  
     
    Bookmark  
  • European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.
    Download  
     
    Export citation  
     
    Bookmark