Title :
A propositional calculus formal deductive system SUBC
Author :
Luo, Minxia ; Ding, Chunmei
Author_Institution :
Dept. of Inf. & Math. Sci., China Jiliang Univ., Hangzhou, China
Abstract :
In this paper, we introduce a kind of algebras SUBL-algebra. A propositional calculus formal system SUBC based on SUBL-algebra is built up, and its completeness is proved.
Keywords :
algebra; calculus; SUBL-algebra; formal deductive system; propositional calculus formal system; Algebra; Autocorrelation; Automatic control; Automation; Calculus; Communication system control; Control systems; Fuzzy logic; Helium; Mathematics; SUBL-algebra; UBL-algebra; propositional calculus formal system SUEZ; propositional calculus formal system UBC;
Conference_Titel :
Computer Communication Control and Automation (3CA), 2010 International Symposium on
Conference_Location :
Tainan
Print_ISBN :
978-1-4244-5565-2
DOI :
10.1109/3CA.2010.5533873
