Skip to Main Content
Universal logic principle has given 1-level universal conjunction operation model, universal disjunction operation model and universal implication operation model. A propositional calculus formal deductive system LU 1 based on these 1-level operation models was built up. Moreover, it has been proved that the propositional calculus formal deductive system LU 1 and the propositional calculus system LU are equivalent.
Fuzzy Systems and Knowledge Discovery, 2009. FSKD '09. Sixth International Conference on (Volume:7 )
Date of Conference: 14-16 Aug. 2009