Some Algebraic Properties about the 0-level Universal Operation Model of Universal Logic
Luo Min-xia, HE Hua-can · Mohu xitong yu shuxue · 2005
In this paper,we discuss some basic properties about the model of 0-level universal(operation.) We prove that the norm T(x,y,h) is Archimedean,the model of universal conjunction(T(x,y,h)) and the model of universal implication I(x,y,h) form an adjoint pair,the bounded lattice(,∨,∧,T,I,0,1) is a MV-algebra for h∈(0,0.75),and the bounded lattice(,∨,∧,*,→,0,1) is a product algebra for h∈(0.75,1).Moreover,we give an additive generator and a(multiplicative) generator of the universal conjunction and the universal disjunction respectively.