文献

J-GLOBAL ID：200902056333713044   整理番号：88A0194435

Syllogism(三段論法推論)体系の連言名辞への拡張

An extension of the syllogistic system for conjunctive terms.

著者 (2件)： 西原典孝 (大阪大 基礎工) ,  森田憲一 (山形大 工)
資料名： 電子情報通信学会論文誌 D  (Transactions of the Institute of Electronics, Information and Communication Engineers. D)
巻： 70  号： 12  ページ： 2640-2646  発行年： 1987年12月 
JST資料番号： S0757A  ISSN： 0913-5731  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 知識処理のための基礎的論理体系として,述語論理とは異る論理体...

シソーラス用語： 記号論理 ,...
準シソーラス用語： 三段論法

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=88A0194435&from=J-GLOBAL&jstjournalNo=S0757A") }}

分類 (1件)： 論理代数  (JB03000H)

タイトルに関連する用語 (5件)： 推論 ,  体系 ,  連言 ,  名辞 ,  拡張