文献
J-GLOBAL ID:200902081291195565
整理番号:88A0351761
連言,選言および補名辞演算子を取り扱えるSyllogismの拡張体系とその完全性
An extended syllogistic system with conjunctive, disjunctive and complementary terms, and its completeness proof.
著者 (2件):
西原典孝
(大阪大 基礎工)
,
森田憲一
(山形大 工)
資料名:
電子情報通信学会論文誌 D
(Transactions of the Institute of Electronics, Information and Communication Engineers. D)
巻:
71
号:
4
ページ:
693-704
発行年:
1988年04月
JST資料番号:
S0757A
ISSN:
0913-5731
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)