Found 9 Documents (Results 1–9)
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. (English) Zbl 1089.03047
Propositional logic of continuous transformations in Cantor space. (English) Zbl 1103.03021
Reviewer: Manuel Ojeda Aciego (Málaga)
MSC:
03B45
54H20
On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. (English) Zbl 1096.03064
Reviewer: Liu Yingming (Chengdu)
Bounded truth table does not reduce the one-query tautologies to a random oracle. (English) Zbl 1087.03024
Reviewer: Zheng Xizhong (Cottbus)
Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\). (English) Zbl 1090.03029
Filter Results by …
all
top 5
Author
- Arai, Toshiyasu (1)
- Brendle, Jörg (1)
- Cook, Stephen Arthur (1)
- Hájek, Petr (1)
- Krajíček, Jan (1)
- Mints, Grigoriĭ Efroimovich (1)
- Morioka, Tsuyoshi (1)
- Suzuki, Toshio (1)
- Takaki, Osamu (1)
- Yasumoto, Masahiro (1)
- Yorioka, Teruyuki (1)
- Zhang, Ting (1)
Biographic Reference
- Takeuti, Gaisi (1)