Satoko Titani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A completeness theorem of quantum set theory	2013-10-04	Paper
Systems of quantum logic Studia Logica	2013-08-19	Paper
Quantum set theory International Journal of Theoretical Physics	2004-02-03	Paper
A lattice-valued set theory Archive for Mathematical Logic	2000-05-15	Paper
scientific article; zbMATH DE number 1377709 (Why is no real title available?)	1999-12-14	Paper
scientific article; zbMATH DE number 1373375 (Why is no real title available?)	1999-12-02	Paper
Completeness of global intuitionistic set theory Journal of Symbolic Logic	1999-03-02	Paper
Fuzzy logic and fuzzy set theory Archive for Mathematical Logic	1994-01-13	Paper
Globalization of intuitionistic set theory Annals of Pure and Applied Logic	1987-01-01	Paper
Global intuitionistic analysis Annals of Pure and Applied Logic	1986-01-01	Paper
scientific article; zbMATH DE number 3952743 (Why is no real title available?)	1986-01-01	Paper
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory Journal of Symbolic Logic	1984-01-01	Paper
scientific article; zbMATH DE number 3756467 (Why is no real title available?)	1981-01-01	Paper
A proof of the cut-elimination theorem in simple type theory Journal of Symbolic Logic	1973-01-01	Paper
An algebraic formulation of cut-elimination theorem Journal of the Mathematical Society of Japan	1965-01-01	Paper

Research outcomes over time

This page was built for person: Satoko Titani