A note on sequent systems of provability logic

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 2000-09-19

著者

• Yoshida Satoru

  School Of Information Science Japan Advanced Institute Of Science And Tchnology

• Yoshida Satoru

  School Of Information Science Japan Advanced Institute Of Science And Te

関連論文

• A constructive completion of the space D(R)
• A note on nondiscontinuity in constructive mathematics
• A constructive look at Weierstrass' theorem
• A constructive meaning for convergence and the cauchyness of sequences of the space D(R)
• A note on sequent systems of provability logic

スポンサーリンク