重言式

• Generalized tautologies theory of the basic formal system of universal logic
  泛逻辑的基本形式系统中的广义重言式理论
• The algebra and generalized tautology in limited disturbing fuzzy propositional logic
  有限扰动模糊逻辑代数及其广义重言式
• Generalized tautologies theory of universal logic based on 0 - level universal and operators
  基于零级泛与运算的泛逻辑中广义重言式理论
• Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology
  扰动模糊命题逻辑的代数结构及其广义重言式性质
• ( 1 ) tautologies play a significant role in logic applications , a - tautologies and f - tautologies in some lattice valued logic systems whose truth - value lattice are products of lattice implication algebra are discussed
  二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算1 、重言式在逻辑系统的应用中起着重要的作用。
• The system ip and relations of classification of generalized tautologies among the systems ip and its 3 - valued system and the system c2 is investigated . it is proved that generalized tautologies are decidable in the system ip
  本文分两种情形b一0与p 0 ）研究了系统lp与其三元子代数及经典二值系统q之间（广川重言式的关系，指出在系统lp中广义重言式是可判定的
• However , the embeddability plays an important role in proving the completeness of the formal deductive systems . when an algebra system has embeddability . a formula is a tautology for each linearly ordered algebra if and only if it is a tautology for each algebra
  在可嵌入性的保证下，当一个公式对所有的某种线性代数系统是重言式时，其必定对所有的同种代数系统是重言式。
• Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
  给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
• Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
  本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。
• In 1997 , based on rq implication operator professor wang guojun proposed revised kleene system . again in 1998 , professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system
  1997年，王国俊教授基于蕴涵算子r _ 0提出了修正的kleene系统，又于1998年引入了广义重言式的概念，对修正的kleene系统中的广义重言式类进行了深刻而细致的讨论，建立了广义重言式理论，为模糊逻辑提出了新的研究方向。