|
Volumn 124, Issue 3, 2001, Pages 289-302
|
The Ł∏ and Ł∏1/2 propositional and predicate logics
|
Author keywords
[No Author keywords available]
|
Indexed keywords
FORMAL LOGIC;
PROBLEM SOLVING;
THEOREM PROVING;
PREPOSITIONAL LOGICS;
FUZZY SETS;
|
EID: 0035900861
PISSN: 01650114
EISSN: None
Source Type: Journal
DOI: 10.1016/S0165-0114(01)00099-9 Document Type: Article |
Times cited : (38)
|
References (2)
|