A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic

Abstract

The aim of this paper is partial axiomatization of universal logic. A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of 0-level universal logic is built up. The corresponding algebra L/spl Pi/G is introduced. We prove the system ULh/spl epsi//sub h/spl epsi/(0,1)/ is soundness and complete w.r.t. the 0-level continuous universal AND… (More)

Cite this paper

@article{Ma2005APC, title={A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic}, author={Ying-cang Ma and Hua-Can He}, journal={2005 International Conference on Machine Learning and Cybernetics}, year={2005}, volume={5}, pages={2716-2721 Vol. 5} }