![]() |
Volumn 7, Issue 3, 1997, Pages 365-385
|
Logic and Thought
|
Author keywords
Formal logic; Inference rules; Logic and thought; Natural deduction; Production systems; Tautologies
|
Indexed keywords
ARTIFICIAL INTELLIGENCE;
PHILOSOPHICAL ASPECTS;
INFERENCE RULES;
NATURAL DEDUCTION;
TAUTOLOGIES;
FORMAL LOGIC;
|
EID: 0031199926
PISSN: 09246495
EISSN: None
Source Type: Journal
DOI: 10.1023/A:1008299628430 Document Type: Article |
Times cited : (10)
|
References (9)
|