書誌情報 | ファイル |
表紙・目次 (1997-12) 数理解析研究所講究録, 1021
| |
Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms Fujita, Ken-etsu (1997-12) 数理解析研究所講究録, 1021: 1-13
| |
Semigroup semantics for orthomodular logic Miyazaki, Yutaka (1997-12) 数理解析研究所講究録, 1021: 14-27
| |
Classical Brouwer-Heyting-Kolmogorov interpretation Sato, Masahiko (1997-12) 数理解析研究所講究録, 1021: 28-47
| |
UNIVERSE OF QUANTUM SET THEORY TITANI, SATOKO (1997-12) 数理解析研究所講究録, 1021: 48-62
| |
Crispness and Representation Theorem in Dedekind Categories KAWAHARA, Yasuo; FURUSAWA, Hitoshi (1997-12) 数理解析研究所講究録, 1021: 63-69
| |
On some one variable axioms over intuitionistic S4 志村, 立夫 (1997-12) 数理解析研究所講究録, 1021: 70-85
| |
Logics Over MIPC Bezhanishvili, Guram; Zakharyaschev, Michael (1997-12) 数理解析研究所講究録, 1021: 86-95
| |
The realization of the hybrid multi-modal logic theorem prover in the term rewriting system CafeOBJ Suzuki, Yasuhito (1997-12) 数理解析研究所講究録, 1021: 96-111
| |
Computational Playability of Backward Induction Solutions TASHIRO, Hidetoshi (1997-12) 数理解析研究所講究録, 1021: 112-118
| |
EQUIVALENCES BETWEEN ILLATIVE COMBINATORY LOGICS AND PURE TYPE SYSTEMS Bunder, M.W.; Dekkers, W.J.M.; Geuvers, J.H. (1997-12) 数理解析研究所講究録, 1021: 119-135
| |
On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus 白井, 古希男 (1997-12) 数理解析研究所講究録, 1021: 136-155
| |
Arithmetization of another formulation of a subsystem of Kaneko-Nagashima's GL NAGASHIMA, Takashi (1997-12) 数理解析研究所講究録, 1021: 156-162
| |
Decision Making in Partially Interactive Games I : Game Theoretic Developments Kaneko, Mamoru (1997-12) 数理解析研究所講究録, 1021: 163-177
| |
Interpolation Theorem for $\mathit{L}_{DBCC}$ and $\mathit{L}_{DBCK}$ Surarso, Bayu (1997-12) 数理解析研究所講究録, 1021: 178-186
| |
A Study on Substructural Logics with Restricted Exchange Rules, (2) Kashima, Ryo; Kamide, Norihiro (1997-12) 数理解析研究所講究録, 1021: 187-205
| |