Collection home page

1021 sequent calculus と Kripke semanticsに基づく非古典論理学の研究   16
(http://hdl.handle.net/2433/61322)

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