Collection home page

New Aspects in Non-Classical Logics and Their Kripke Semantics   13
(http://hdl.handle.net/2433/61306)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13
BibliographyContents
表紙・目次
   (1997-08)
  数理解析研究所講究録, 1010
file type icon
Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  Bezhanishvili, Guram (1997-08)
  数理解析研究所講究録, 1010: 1-6
file type icon
Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  Fujita, Ken-etsu (1997-08)
  数理解析研究所講究録, 1010: 7-34
file type icon
A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  鹿島, 亮, 上出, 哲広 (1997-08)
  数理解析研究所講究録, 1010: 35-67
file type icon
An approach to the liar paradox(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  LUKOWSKI, Piotr (1997-08)
  数理解析研究所講究録, 1010: 68-80
file type icon
直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面)
  佐々木, 克己 (1997-08)
  数理解析研究所講究録, 1010: 81-88
file type icon
An application of Jankov's characteristic formulas(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  志村, 立矢 (1997-08)
  数理解析研究所講究録, 1010: 89-100
file type icon
A coherence space semantics for linear set theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  Shirahata, Masaru (1997-08)
  数理解析研究所講究録, 1010: 101-112
file type icon
A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  白井, 古希男 (1997-08)
  数理解析研究所講究録, 1010: 113-130
file type icon
An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  SUZUKI, Nobu-Yuki (1997-08)
  数理解析研究所講究録, 1010: 131-141
file type icon
Speaking about transitive frames in propositional languages(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  Suzuki, Yasuhito, Wolter, Frank, Zakharyaschev, Michael (1997-08)
  数理解析研究所講究録, 1010: 142-166
file type icon
Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  TASHIRO, Hidetoshi (1997-08)
  数理解析研究所講究録, 1010: 167-173
file type icon
NUMBERS IN A LATTICE VALUED SET THEORY(New Aspects in Non-Classical Logics and Their Kripke Semantics)
  TITANI, SATOKO (1997-08)
  数理解析研究所講究録, 1010: 174-192
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13