- 著者
- Toshiyasu ARAI
- 出版者
- Japan Association for Philosophy of Science
- 雑誌
- Annals of the Japan Association for Philosophy of Science (ISSN:04530691)
- 巻号頁・発行日
- vol.27, pp.45-60, 2018 (Released:2018-11-01)
- 参考文献数
- 19
In this paper we propose a semantics in which the truth value of a formula is a pair of elements in a complete Boolean algebra. Through the semantics we can unify largely two proofs of cut-eliminability (Hauptsatz) in classical second order logic calculus, one is due to Takahashi-Prawitz and the other by Maehara.
1 0 0 0 OA A Sneak Preview of Proof Theory of Ordinals(<Special Section>Infinity in Philosophy and Mathematics)
- 著者
- Toshiyasu ARAI
- 出版者
- Japan Association for Philosophy of Science
- 雑誌
- Annals of the Japan Association for Philosophy of Science (ISSN:04530691)
- 巻号頁・発行日
- vol.20, pp.29-47, 2012-03-25 (Released:2017-08-01)
- 参考文献数
- 39
- 被引用文献数
- 1
This article is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims and survey on the project are given.