共 50 条
- [34] Three-valued Logic, Indeterminacy and Quantum Mechanics Journal of Philosophical Logic, 2001, 30 : 97 - 119
- [37] Three-valued logic in bounded model checking THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
- [39] Positively closed classes of three-valued logic Marchenkov, S. S. (ssmarchen@yandex.ru), 1600, Izdatel'stvo Nauka (08): : 256 - 266
- [40] A Three-Valued Semantics for Typed Logic Programming ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51