METHODS FOR AUTOMATED THEOREM PROVING IN NONCLASSICAL LOGICS

被引：0

作者：

MORGAN, CG ^{[1
]}

机构：

[1] UNIV VICTORIA,DEPT PHILOSOPHY,VICTORIA,BRITISH COLUMBI,CANADA

来源：

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：852 / 862

页数：11

共 22 条

[1]

Anderson A. R., 1975, ENTAILMENT LOGIC REL, VI

[2]

[Anonymous], SYMBOLIC LOGIC MECHA

[3]

BINKLEY R, 1967, THEORIA, V33, P79

[4]

BINKLEY R, 1965, CANCELLATION SYSTEM

[5]

Cresswell M., 1968, INTRO MODAL LOGIC

[6]

FITTING MC, 1966, INTUITIONISTIC LOGIC

[7]

HAYES P, 1971, MACH INTELL, V6, P495

[8]

HAYES PJ, 1969, MACHINE INTELLIGENCE, V5, P533

[9] UNIT REFUTATIONS AND HORN SETS [J].

HENSCHEN, L ;

WOS, L .

[10]

Heyting A, 1966, INTUITIONISM INTRO