書誌情報 | ファイル |
表紙・目次 (1995-11) 数理解析研究所講究録, 927
| |
GLOBAL INTUITIONISTIC LOGIC AND ITS SEMANTIC COMPLETENESS(Non-Classical Logics and Their Kripke Semantics) AOYAMA, HIROSHI (1995-11) 数理解析研究所講究録, 927: 1-15
| |
様相述語論理のKripke bundle semanticsに関する不完全性(非古典論理とそのKripke意味論に関する諸問題) 磯田, 恵以子 (1995-11) 数理解析研究所講究録, 927: 16-31
| |
Game Logic and its Applications I(Non-Classical Logics and Their Kripke Semantics) Kaneko, Mamoru; Nagashima, Takashi (1995-11) 数理解析研究所講究録, 927: 32-52
| |
証明図の集合としての論理(非古典論理とそのKripke意味論に関する諸問題) 古森, 雄一 (1995-11) 数理解析研究所講究録, 927: 53-55
| |
命題様相論の充足可能性問題の計算量について(非古典論理とそのKripke意味論に関する諸問題) 松岡, 聡 (1995-11) 数理解析研究所講究録, 927: 56-65
| |
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
| |
Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics) Ono, Hiroakira (1995-11) 数理解析研究所講究録, 927: 88-103
| |
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について。(非古典論理とそのKripke意味論に関する諸問題) 志村, 立矢 (1995-11) 数理解析研究所講究録, 927: 104-115
| |
Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics) Shirahata, Masaru (1995-11) 数理解析研究所講究録, 927: 116-126
| |
Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics) SHIRASU, Hiroyuki (1995-11) 数理解析研究所講究録, 927: 127-139
| |
Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics) SUZUKI, NOBU-YUKI (1995-11) 数理解析研究所講究録, 927: 140-156
| |
可能世界意味論に対する一批判(非古典論理とそのKripke意味論に関する諸問題) 竹内, 泉 (1995-11) 数理解析研究所講究録, 927: 157-170
| |
A WEAK SET THEORY WITH GLOBALIZATION(Non-Classical Logics and Their Kripke Semantics) TITANI, SATOKO (1995-11) 数理解析研究所講究録, 927: 171-186
| |
Lattices of Subframe Logics A Survey(Non-Classical Logics and Their Kripke Semantics) Wolter, Frank (1995-11) 数理解析研究所講究録, 927: 187-208
| |