書誌情報	ファイル
表紙・目次    (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