1) meta-logical properties
元逻辑性质
2) property logic
性质逻辑
3) logical property
逻辑性质
4) logical heterogeneity
逻辑异质性
5) logical homogeneity
逻辑同质性
1.
Among these attributes, some are related each other logically, so the quality of this kind of relationship can be called logical homogeneity, while others are not related logi.
这些属性间 ,有的具有逻辑关联 ,是谓逻辑同质性 ;有的不具有逻辑关联 ,是谓逻辑异质性。
6) Logical unit of sampling by mass
逻辑质量单元
补充资料：元逻辑
元逻辑
meta-logic
元逻辑〔n犯怕确禅c;MeT姗『“Kal 在某种元理论(nrta~th“〕卿)的框架内对形式公理理论进行讨论所使用的逻辑.在数学基础中，人们时常对元理论加上一些特殊的要求，这关系到否定某些通常的数学抽象，目的是改进元理论在哲学上的可接受性.例如，实无穷的抽象(a比坛那tion of actual infil五-ty)，与悖论(ant丘旧my)的出现相关的抽象推理等都是受到批评的数学抽象.一般说来，这就导致使用不同于经典逻辑的逻辑，例如模态逻辑(m以为】10乡c)或者当元理论是建立在直觉主义(淑山石。n侣们n)框架中时，使用直觉主义逻辑. 另一方面，在证明论(proof theory)中，我们用不加任何限制的传统数学方法来研究直觉主义逻辑和其他非经典逻辑的理论，例如用集合论方法来研究它们.在这种情况下，经典逻辑就起着元逻辑的作用. A.r.八para亚皿撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条