JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
H10) (Jun.1998 - Mar.1999 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/892

Title: 代数の表現と無限および述語論理のクリプキ完全性
Authors: 田中, 義人
Authors(alternative): たなか, よしひと
Keywords: 無限論理,非古典論理,表現定理,クリプキ意味論
infinitary logic, non-standard logic, representati
Issue Date: Mar-1999
Description: 
小野寛晰
情報科学研究科
博士
Title(English): Representation of Algebras and Kripke Completeness of Infinitary and Predicate Logics
Authors(English): Tanaka, Yoshihito
URI: http://hdl.handle.net/10119/892
Appears in Collections:D-IS. 1998年度(H10) (Jun.1998 - Mar.1999)

Files in This Item:

There are no files associated with this item.

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology