8 found
Order:
  1.  57
    Gaisi Takeuti & Satoko Titani (1984). Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. Journal of Symbolic Logic 49 (3):851-866.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  2.  8
    Satoko Titani (1999). A Lattice-Valued Set Theory. 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 (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  5
    Gaisi Takeuti & Satoko Titani (1992). Fuzzy Logic and Fuzzy Set Theory. Archive for Mathematical Logic 32 (1):1-32.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  8
    Satoko Titani (1997). Completeness of Global Intuitionistic Set Theory. Journal of Symbolic Logic 62 (2):506-528.
  5.  4
    Gaisi Takeuti & Satoko Titani (1987). Globalization of Intui Tionistic Set Theory. Annals of Pure and Applied Logic 33 (2):195-211.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  20
    Satoko Titani, Heiji Kodera & Hiroshi Aoyama (2013). Systems of Quantum Logic. 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    Gaisi Takeuti & Satoko Titani (1986). Global Intuitionistic Analysis. Annals of Pure and Applied Logic 31 (2):307-339.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  6
    Satoko Titani (1973). A Proof of the Cut-Elimination Theorem in Simple Type Theory. Journal of Symbolic Logic 38 (2):215-226.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography