The following pages link to Satoko Titani (Q361854):
Displayed 15 items.
- Systems of quantum logic (Q361857) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- A lattice-valued set theory (Q1306800) (← links)
- Fuzzy logic and fuzzy set theory (Q1311425) (← links)
- Quantum set theory (Q1421656) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- An algebraic formulation of cut-elimination theorem (Q2524684) (← links)
- (Q2851808) (← links)
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory (Q3693510) (← links)
- (Q3722491) (← links)
- (Q3939796) (← links)
- Completeness of global intuitionistic set theory (Q4358052) (← links)
- (Q4703140) (← links)
- (Q4704064) (← links)
- A proof of the cut-elimination theorem in simple type theory (Q5183470) (← links)