DocumentCode
2900866
Title
Syntax Completeness and Its Properties on Formal Systems
Author
Pan, Zheng-Hua
Author_Institution
Sch. of Sci., Southern Yangtze Univ., Wuxi
fYear
2006
fDate
13-16 Aug. 2006
Firstpage
4540
Lastpage
4543
Abstract
Syntax completeness is an important character of formal systems. In this paper, two questions are proposed that syntax completeness of a formal system S have relations with semantic completeness under what condition? What is relation between the syntax completeness of S and the syntax completeness of consistent extension of S? And that following results are proved: (1) if S has syntax completeness then S must has semantic completeness when S has soundness. (2) If S doesn´t has syntax completeness then any consistent extensions of S don´t have syntax completeness either, the converse not holds. (3) Any extensions of first order predicate logic don´t have syntax completeness
Keywords
computational linguistics; formal logic; inference mechanisms; first order predicate logic; formal systems; inference rules; semantic completeness; syntax completeness; Artificial intelligence; Cybernetics; Formal languages; Logic; Machine learning; Sufficient conditions; Formal system; consistency; extension; semantic completeness; soundness; syntax completeness;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics, 2006 International Conference on
Conference_Location
Dalian, China
Print_ISBN
1-4244-0061-9
Type
conf
DOI
10.1109/ICMLC.2006.258374
Filename
4028872
Link To Document