The results show that the system only has three different classes of generalized tautologies.
研究结果表明,该系统中只有三种不同的广义重言式。
互联网摘选
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
互联网摘选
Isomorphisms of t-norms and Implication Operators and Theory of Generalized Tautologies
t-模与蕴涵算子的同构及广义重言式理论
互联网摘选
对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。
互联网摘选