1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 14.
検索結果:
書誌情報ファイル
Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)
  SUZUKI, NOBU-YUKI (1995-11)
  数理解析研究所講究録, 927: 140-156
file type icon 
可能世界意味論に対する一批判(非古典論理とそのKripke意味論に関する諸問題)
  竹内, 泉 (1995-11)
  数理解析研究所講究録, 927: 157-170
file type icon 
Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)
  Shirahata, Masaru (1995-11)
  数理解析研究所講究録, 927: 116-126
file type icon 
Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)
  SHIRASU, Hiroyuki (1995-11)
  数理解析研究所講究録, 927: 127-139
file type icon 
A WEAK SET THEORY WITH GLOBALIZATION(Non-Classical Logics and Their Kripke Semantics)
  TITANI, SATOKO (1995-11)
  数理解析研究所講究録, 927: 171-186
file type icon 
Lattices of Subframe Logics A Survey(Non-Classical Logics and Their Kripke Semantics)
  Wolter, Frank (1995-11)
  数理解析研究所講究録, 927: 187-208
file type icon 
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic(Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)
  NAGAYAMA, Misao; OKADA, Mitsuhiro (1995-11)
  数理解析研究所講究録, 927: 66-87
file type icon 
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について。(非古典論理とそのKripke意味論に関する諸問題)
  志村, 立矢 (1995-11)
  数理解析研究所講究録, 927: 104-115
file type icon 
Game Logic and its Applications I(Non-Classical Logics and Their Kripke Semantics)
  Kaneko, Mamoru; Nagashima, Takashi (1995-11)
  数理解析研究所講究録, 927: 32-52
file type icon 
命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題)
  松岡, 聡 (1995-11)
  数理解析研究所講究録, 927: 56-65
file type icon 

絞り込み