A Propositional Deductive System Of Universal Logic with Projection Operator

I
ISDA
2006
Sixth International Conference on Intelligent Systems Design and Applications (ISDA'06) Volume 1
Abstract - A Propositional Deductive System Of Universal Logic with Projection Operator

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Yingcang Ma Articles by Qiaoyan Li

Sixth International Conference on Intelligent Systems Design and Applications (ISDA'06) Volume 1

Jinan, China

October 16-October 18

ISBN: 0-7695-2528-8

	ASCII Text	x
	Yingcang Ma, Qiaoyan Li, "A Propositional Deductive System Of Universal Logic with Projection Operator," Intelligent Systems Design and Applications, International Conference on, vol. 1, pp. 996-998, Sixth International Conference on Intelligent Systems Design and Applications (ISDA'06) Volume 1, 2006.

	BibTex	x
	@article{ 10.1109/ISDA.2006.77, author = {Yingcang Ma and Qiaoyan Li}, title = {A Propositional Deductive System Of Universal Logic with Projection Operator}, journal ={Intelligent Systems Design and Applications, International Conference on}, volume = {1}, year = {2006}, isbn = {0-7695-2528-8}, pages = {996-998}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISDA.2006.77}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Intelligent Systems Design and Applications, International Conference on TI - A Propositional Deductive System Of Universal Logic with Projection Operator SN - 0-7695-2528-8 SP996 EP998 A1 - Yingcang Ma, A1 - Qiaoyan Li, PY - 2006 KW - null VL - 1 JA - Intelligent Systems Design and Applications, International Conference on ER -

Yingcang Ma, Xi?an Polytechnic University, China

Qiaoyan Li, Xi?an Polytechnic University, China

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISDA.2006.77

The aim of this paper is the partial axiomatization for universal logic which was proposed by Prof. H.C. He in 2001. Firstly, a propositional calculus formal deductive

Citation:

Yingcang Ma, Qiaoyan Li, "A Propositional Deductive System Of Universal Logic with Projection Operator," isda, vol. 1, pp.996-998, Sixth International Conference on Intelligent Systems Design and Applications (ISDA'06) Volume 1, 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.