書誌情報 | ファイル |
表紙・目次 (2022-08) 数理解析研究所講究録, 2228
| |
Tableau Calculus of Hybrid Product Logic (Theory and Applications of Proof and Computation) 西村, 祐輝 (2022-08) 数理解析研究所講究録, 2228: 1-11
| |
命題変数の量化を持つ時相論理の表現能力について (証明と計算の理論と応用) 佐藤, 悠 (2022-08) 数理解析研究所講究録, 2228: 12-29
| |
合流性とZ性について (証明と計算の理論と応用) 赤坂, 陸来; 藤田, 憲悦; 中澤, 巧爾 (2022-08) 数理解析研究所講究録, 2228: 30-40
| |
Exchangeに関わる結合則の族に対応する推論規則 (証明と計算の理論と応用) 関, 隆宏 (2022-08) 数理解析研究所講究録, 2228: 41-46
| |
循環証明体系におけるカット除去の反例について (証明と計算の理論と応用) 益岡, 幸弘 (2022-08) 数理解析研究所講究録, 2228: 47-58
| |
Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions (Theory and Applications of Proof and Computation) Kimura, Daisuke; Nakazawa, Koji; Saotome, Kenji (2022-08) 数理解析研究所講究録, 2228: 59-72
| |
Recent Results on Reflection Principles in Second-Order Arithmetic (Theory and Applications of Proof and Computation) Pacheco, Leonardo (2022-08) 数理解析研究所講究録, 2228: 73-77
| |
Linear algebra in bounded arithmetic (Theory and Applications of Proof and Computation) Kuroda, Satoru (2022-08) 数理解析研究所講究録, 2228: 78-87
| |
超直観主義述語論理におけるprenex normal form theoremに関する覚書 (証明と計算の理論と応用) 鈴木, 信行 (2022-08) 数理解析研究所講究録, 2228: 88-98
| |
Gentzenから始まる証明論の50年 : 順序数解析を中心として (証明と計算の理論と応用) 新井, 敏康 (2022-08) 数理解析研究所講究録, 2228: 99-125
| |
Proof search in multi-succedent sequent calculi for intuitionistic logics (Theory and Applications of Proof and Computation) Arai, Toshiyasu (2022-08) 数理解析研究所講究録, 2228: 126-147
| |
Weakly balanced multi-branching AND-OR trees: Reconstruction of the omitted part of Saks-Wigderson (1986) (Theory and Applications of Proof and Computation) Kurita, Ryoya; Shimizu, Taira; Suzuki, Toshio (2022-08) 数理解析研究所講究録, 2228: 148-167
| |
An effective study of continued fractions and applications (Theory and Applications of Proof and Computation) 八杉, 滿利子; 辻井, 芳樹; 森, 隆一 (2022-08) 数理解析研究所講究録, 2228: 168-185
| |
On the pigeonhole and the modular counting principles over the bounded arithmetic $V^{0}$ (Theory and Applications of Proof and Computation) Ken, Eitetsu (2022-08) 数理解析研究所講究録, 2228: 186-205
| |
A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic (Theory and Applications of Proof and Computation) Kurata, Toshihiko; Fujita, Ken-etsu (2022-08) 数理解析研究所講究録, 2228: 206-214
| |
汎用的学習理論 (証明と計算の理論と応用) 宮部, 賢志 (2022-08) 数理解析研究所講究録, 2228: 215-225
| |