ダウンロード数: 173

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1010-3.pdf2.08 MBAdobe PDF見る/開く
タイトル: A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)
著者: 鹿島, 亮  KAKEN_name
上出, 哲広  KAKEN_name
著者名の別形: Kashima, Ryo
Kamide, Norihiro
発行日: Aug-1997
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1010
開始ページ: 35
終了ページ: 67
URI: http://hdl.handle.net/2433/61520
出現コレクション:1010 非古典論理とKripke意味論の新局面

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。