共 50 条
- [2] Three-valued and four-valued approach to logic programming with negation [J]. Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83
- [4] Probabilistic inference on three-valued logic [J]. ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 690 - 693
- [5] A Three-Valued Fregean Quantification Logic [J]. Journal of Philosophical Logic, 2019, 48 : 409 - 423
- [6] The cylindric algebras of three-valued logic [J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (04) : 1201 - 1217
- [8] A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata [J]. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, PROCEEDINGS, 2009, 5394 : 38 - 52