共 50 条
- [41] Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 274 - 290
- [42] Weak Completeness Theorem of Logic System MTLQ with Linguistic Quantifiers 2011 AASRI CONFERENCE ON APPLIED INFORMATION TECHNOLOGY (AASRI-AIT 2011), VOL 1, 2011, : 283 - 286
- [45] Completeness of type assignment systems with intersection, union, and type quantifiers THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 368 - 379
- [47] From Godel's Incompleteness Theorem to the Completeness of Bot Beliefs (Extended Abstract) LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, 2023, 13923 : 33 - 50
- [50] THE PROBLEM OF QUANTIFICATIONAL COMPLETENESS AND THE CHARACTERIZATION OF ALL PERFECT QUANTIFIERS IN 3-VALUED LOGICS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (01): : 19 - 29