A metatheory of nonstandard analysis
スポンサーリンク
概要
- 論文の詳細を見る
In the previous worl [11] of Yasugi, we set up formal system IR of infinitary logic, by whose proof-theoretical properties the infinitesimal calculus can be justified. Such an attempt was atarted due to the first author's wish to single out the essence of the metatheory ...
- 筑波大学の論文
著者
-
YASUGI Mariko
Faculty of Science, Kyoto Sangyo University
-
TSUJII Yoshiki
Faculty of Science, Kyoto Sangyo University
-
MORI Takakazu
Faculty of Science, Kyoto Sangyo University
-
Mori Takakazu
Faculty Of Science Kyoto Sangyo University
-
Yasugi Mariko
Faculty Of Science Kyoto Sangyo University
関連論文
- SIMILARITY ANALYSIS OF TIME SERIES DATA BY WISAM
- A metatheory of nonstandard analysis
- The mathematical structure of incomplete constructive calculus
- On the notions of randomness(2nd Workshop on Stochastic Numerics)
- COMPUTABILITY ASPECTS OF SOME DISCONTINUOUS FUNCTIONS
- A proof-theoretic approach to knowledge
- Inference within Knowledge