共 50 条
- [32] Non-classical logic in an intelligent assessment sub-system COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2007, PT 1, PROCEEDINGS, 2007, 4705 : 305 - +
- [36] HISTORICAL AND PHILOSOPHICAL ANALYSIS OF THE DEVELOPMENT OF NON-CLASSICAL DIRECTIONS OF MODERN LOGIC REVISTA UNIVERSIDAD Y SOCIEDAD, 2020, 12 (02): : 82 - 86
- [38] Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic Logica Universalis, 2018, 12 : 141 - 206
- [40] Reasoning about inconsistent concurrent systems: A non-classical temporal logic SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2006, 3831 : 207 - 217