Generalized Tautologies in Parametric Kleene's Systems
Wu Wang · Mohu xitong yu shuxue · 2000
In this paper,we introduce a new group of t norm ∧ p,t conorm ∨ p and implication θ p with respect to a parameter p in [0,1] and discuss its elementary properties. Based on this group of operators,we investigate the parametric Kleene’s system K p and the relation to Kleene’s 3 valued system K 3, Lukasiewicz’ 3 valued system L 3 and the classical system B 2 on generalized tautologies. We prove that the parametric Kleene’s system K p is decidable for generalized tautology.