共 50 条
- [31] Classical Resolution for Many-Valued Logics 1600, Elsevier B.V., Netherlands (323): : 253 - 270
- [37] INTRODUCTION TO MANY VALUED LOGICS - ACKERMANN,R REVIEW OF METAPHYSICS, 1967, 21 (02): : 368 - 368
- [40] Many-valued and annotated modal logics 1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS, 1998, : 114 - 119