8 found
Order:
  1.  78
    Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
  2.  19
    A Lattice-Valued Set Theory.Satoko Titani - 1999 - Archive for Mathematical Logic 38 (6):395-421.
    A lattice-valued set theory is formulated by introducing the logical implication $\to$ which represents the order relation on the lattice.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  9
    Globalization of Intui Tionistic Set Theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (2):195-211.
  4.  9
    Fuzzy Logic and Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1992 - Archive for Mathematical Logic 32 (1):1-32.
  5.  13
    Completeness of Global Intuitionistic Set Theory.Satoko Titani - 1997 - Journal of Symbolic Logic 62 (2):506-528.
  6.  37
    Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
    Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic provided (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Global Intuitionistic Analysis.Gaisi Takeuti & Satoko Titani - 1986 - Annals of Pure and Applied Logic 31 (2):307-339.
  8.  13
    A Proof of the Cut-Elimination Theorem in Simple Type Theory.Satoko Titani - 1973 - Journal of Symbolic Logic 38 (2):215-226.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark