The Theory of Conditional α-Tautologies Based on the Regular Implication Operators
Zhang Xing-fang · Ludong University Journal · 2007
The notions of conditional α-tautologies of formulas in the propositional logic systems based on regular implication operators are proposed.Their properties are discussed,and their distributions in Lukasiewicz logic system,Gdel logic system,Product logic system,L* logic system and corresponding n-valued logic system are studied respectively.