A lattice-valued set theory

Archive for Mathematical Logic

Volumn 38, Issue 6, 1999, Pages 395-421

  Titani, Satoko ^a  

^a CHUBU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033461090     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050134     Document Type: Article

References (5)

1. R.J. Grayson, Heyting valued models for intuitionistic set theory, Applications of sheaves (Proceedings of the research symposius, Durham, 1981), Lecture Notes in Math., vol. 753, Springer-Verlag, Berlin, 1979, pp. 402-414
2. H. Rasiowa and R. Sikorski, Mathematics of Metamathematics, 1963
3. G. Takeuti, Proof theory, North-Holland, Amsterdam (1987)
4. G. Takeuti and S. Titani, Globalization of intuitionistic set theory, Annals of Pure and Applied Logic 33(1987), pp. 195-211
5. S. Titani, Completeness of global intuitionistic set theory, J. Symbolic Logic 62-2 (1997), 506-528