| CO-SATISFIABLE AND CO-VALID OF TWO FIRST-ORDER LANGUAGES |
| |
| 引用本文： | 唐立中,朱一清. CO-SATISFIABLE AND CO-VALID OF TWO FIRST-ORDER LANGUAGES[J]. 东南大学学报, 1989, 0(1) |
| |
| 作者姓名： | 唐立中 朱一清 |
| |
| 作者单位： | Department of Computer Science and Engineering，Department of Computer Science and Engineering |
| |
| 摘 要： | In this paper,the authors point out and demonstrate the difference of theconcepts concerning co-satisfiable and co-valid between one first-order language andtwo first-order languages,and put forward the concepts about uniform co-identical truthand uniform co-satisfiability.Thus some theorems in the book“A Course inMathematical Logic”,written by J.L.Bell and M.Machover,are corrected.
|
CO-SATISFIABLE AND CO-VALID OF TWO FIRST-ORDER LANGUAGES |
| |
| Tang Lizhong,Zhu Yiqing. CO-SATISFIABLE AND CO-VALID OF TWO FIRST-ORDER LANGUAGES[J]. Journal of Southeast University(English Edition), 1989, 0(1) |
| |
| Authors: | Tang Lizhong Zhu Yiqing |
| |
| Affiliation: | Tang Lizhong;Zhu Yiqing Department of Computer Science and Engineering |
| |
| Abstract: | |
| |
| Keywords: | mathematical logic predicate calculus semantic information |
| 本文献已被 CNKI 等数据库收录！ |
