| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 725234 | The Journal of China Universities of Posts and Telecommunications | 2008 | 5 Pages |
Abstract
The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL−hɛ(0,1) based on 1-level universal AND operator of universal logic is built up. The corresponding algebra is introduced. The soundness and the completeness of system UL−hɛ(0,1) are proved.
Related Topics
Physical Sciences and Engineering
Engineering
Electrical and Electronic Engineering
