共 50 条
- [31] Translation from Three-Valued Quantum Logic to Modal Logic International Journal of Theoretical Physics, 2021, 60 : 366 - 377
- [32] Three-Valued Paraconsistent Reasoning for Semantic Web Agents AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, 2010, 6070 : 152 - 162
- [33] Rough Set Logic for Kleene's Three-valued Logic 2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 43 - 47
- [37] A completeness theorem for three-valued temporal predicate logic ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2008, 35 : 41 - 53
- [39] Logic Programs under Three-Valued Lukasiewicz Semantics LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
- [40] Three-valued and four-valued approach to logic programming with negation Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83