共 50 条
- [1] Three-valued logic for reasoning from an inconsistent knowledge base Syst Comput Jpn, 2006, 14 (44-51):
- [2] Three-valued logic in bounded model checking THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
- [6] A Three-Valued Fregean Quantification Logic Journal of Philosophical Logic, 2019, 48 : 409 - 423
- [7] Probabilistic inference on three-valued logic ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 690 - 693
- [8] ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC REVIEW OF SYMBOLIC LOGIC, 2024, 17 (03): : 682 - 704