loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Semantics, Knowledge, and Grid (SKG'06)
Guilin, Guangxi, China
November 01-November 03
ISBN: 0-7695-2673-X
ASCII Text
x 
 
Zhenghua Pan, "Relation between Semantic Completeness and Syntax Completeness on General Formal Systems," Semantics, Knowledge and Grid, International Conference on, pp. 89, Second International Conference on Semantics, Knowledge, and Grid (SKG'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SKG.2006.72,
author = {Zhenghua Pan},
title = {Relation between Semantic Completeness and Syntax Completeness on General Formal Systems},
journal ={Semantics, Knowledge and Grid, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2673-X},
pages = {89},
doi = {http://doi.ieeecomputersociety.org/10.1109/SKG.2006.72},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Semantics, Knowledge and Grid, International Conference on
TI - Relation between Semantic Completeness and Syntax Completeness on General Formal Systems
SN - 0-7695-2673-X
SP
EP
A1 - Zhenghua Pan,
PY - 2006
KW - null
VL - 0
JA - Semantics, Knowledge and Grid, International Conference on
ER -
 
Zhenghua Pan, Southern Yangtze University, China
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper analyze the relation between semantic completeness of a formal system S and syntax completeness under certain condition and the relation between the syntax completeness of S and the syntax completeness of consistent extension of S, and 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 the first order predicate logic don?t have syntax completeness.
Citation:
Zhenghua Pan, "Relation between Semantic Completeness and Syntax Completeness on General Formal Systems," skg, pp.89, Second International Conference on Semantics, Knowledge, and Grid (SKG'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.