アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
KO12002001-20090331-0387.pdf
Type |
:application/pdf |
Download
|
Size |
:1.1 MB
|
Last updated |
:May 7, 2020 |
Downloads |
: 795 |
Total downloads since May 7, 2020 : 795
|
|
本文公開日 |
|
タイトル |
タイトル |
A report on Euler diagrammatic reasoning system : theory and experiment design
|
カナ |
|
ローマ字 |
|
|
別タイトル |
|
著者 |
名前 |
峯島, 宏次
|
カナ |
ミネシマ, コウジ
|
ローマ字 |
Mineshima, Koji
|
所属 |
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
名前 |
岡田, 光弘
|
カナ |
オカダ, ミツヒロ
|
ローマ字 |
Okada, Mitsuhiro
|
所属 |
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
名前 |
佐藤, 有理
|
カナ |
サトウ, ユリ
|
ローマ字 |
Sato, Yuri
|
所属 |
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
名前 |
竹村, 亮
|
カナ |
タケムラ, リョウ
|
ローマ字 |
Takemura, Ryo
|
所属 |
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
|
版 |
|
出版地 |
|
出版者 |
名前 |
Centre for Advanced Research on Logic and Sensibility The Global Centers of Excellence Program, Keio University
|
カナ |
|
ローマ字 |
|
|
日付 |
出版年(from:yyyy) |
2009
|
出版年(to:yyyy) |
|
作成日(yyyy-mm-dd) |
|
更新日(yyyy-mm-dd) |
|
記録日(yyyy-mm-dd) |
|
|
形態 |
|
上位タイトル |
名前 |
CARLS series of advanced study of logic and sensibility
|
翻訳 |
|
巻 |
2
|
号 |
|
年 |
2008
|
月 |
|
開始ページ |
387
|
終了ページ |
402
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII論文ID |
|
医中誌ID |
|
その他ID |
|
博士論文情報 |
学位授与番号 |
|
学位授与年月日 |
|
学位名 |
|
学位授与機関 |
|
|
抄録 |
In this paper we are concerned with logical and cognitive aspects of reasoning with Euler circles. We give a proof-theoretical analysis of diagrammatic reasoning with Euler circles involving unification and deletion rules. Diagrammatic syllogistic reasoning is characterized as a particular class of the general diagrammatic proofs. Given this prooftheoretical analysis, we propose an experiment for a cognitive psychological study.
|
|
目次 |
|
キーワード |
|
NDC |
|
注記 |
Part 5 : Logic and Informatics
|
|
言語 |
|
資源タイプ |
|
ジャンル |
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
Nov 30, 2012 | | フリーキーワード を変更 |
May 7, 2020 | | 著者 を変更 |
|
|
インデックス |
|
関連アイテム |
|