タイトル(掲載誌)CARLS series of advanced study of logic and sensibility
一般注記type:text
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.
Part 5 : Logic and Informatics
一次資料へのリンクURLhttps://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KO12002001-20090331-0387
連携機関・データベース国立情報学研究所 : 学術機関リポジトリデータベース(IRDB)(機関リポジトリ)