Satoko Titani

zbMath Opentitani.satokoMaRDI QIDQ361854

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