| In this paper, the Modificatory Atanassov Logic System is upbuilt and researched by modifying the original implication into implication. The definitions of the generalized tautologies and part-valued tautologies are made, and the natures of them are discussed. There are two main parts in the thesis. The first one is Introduction, in which the background and significance of this thesis are given out by introducing the general situations of all logic systems, and in particular Atanassov Instuitionstic Logic. The second one, the principal of this paper, is composed of three sections:1. The Logical Algerba and Generalized Tautology on Limited Atanassov SystemThe algebra and subalgebra on Limited Atanassov Logical System are discussed. Give out the sufficient and necessary condition to judge its subalgebra, and generalize the theory of generalized tautology in Logic System which were introduced by Professor Wang Guojun to Atanassov Logic System. The main results : in logic system , there is not absolute truthful (or false) tautology; generalized tautologies can not increase with the extension of the system; the prefix of them are not intelligent.2. The Maximum Subalgebra of Modificatory Atanassov Logical Algebra and its Generalized TautologyIn this section, the Modificatory Atanassov Logic System is upbuilt and researched. Find out , its maximum subalgebra, in which the classifications of the generalized tautologies are got by generalizing Wang Guojun's theory into .3. ∑-Generalized Tautology and The Expression Theorem of TautologyThe definition of part-valued generalized tautology is made, and the upgrade algorithm is established. Adopt the means of isomorphism mapping and symmetric expression to simplify the narration and proof. The following results: anytautology can become an absolute tautology by upgrading at most times. The expression theorem of tautology is given out. And at the same time, some conclusions about contradiction like the ones above are drawn.
|
PDF Full Text Request