慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000066-0137  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000066-0137.pdf
Type :application/pdf Download
Size :442.5 KB
Last updated :Sep 21, 2010
Downloads : 549

Total downloads since Sep 21, 2010 : 549
 
タイトル
タイトル The Notion of Logical Rejection and a Proof of L-decidability of the Classical Propositional Logic  
カナ  
ローマ字  
別タイトル
名前 The Notion of Logical Rejection and a Proof of L-decidability of the Classical Propositional Logic  
カナ  
ローマ字  
著者
名前 藁谷, 敏晴  
カナ ワラガイ, トシハル  
ローマ字 Waragai, Toshiharu  
所属 Graduate School of Keio University  
所属(翻訳)  
役割  
外部リンク  
publisher  
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 1977  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳  
 
66  
1977  
9  
開始ページ 137  
終了ページ 149  
ISSN
05632099  
ISBN
 
DOI
URI
 
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録

 
目次
I. A historical remark on the notion of 'rejection'
II. General remarks on the deductive systems with rejected axioms and rejective rules
III. A proof of Ł-completeness of the Classical Propositional Logic supplied with a rejected axiom and rules of rejection
 
キーワード
 
NDC
 
注記

 
言語
英語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
 
本文URI
 
アクセス条件

 
最終更新日
Sep 21, 2010 09:00:00  
作成日
Sep 21, 2010 09:00:00  
所有者
mediacenter
 
更新履歴
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 66 (197709)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 アイドル文化にお... (540) 1st
2位 組織市民行動が成... (375)
3位 もしも世界がみん... (334)
4位 ドイツのSNS対策... (315)
5位 ネットワークにつ... (270)

最も多くダウンロードされたアイテム
1位 1950年前後の加藤... (688) 1st
2位 アセトアニリドの... (517)
3位 Instagram解析に... (501)
4位 日本市場における... (448)
5位 家族主義と個人主... (402)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース