1) Metalogic
[metə'lɔdʒik]
元逻辑
1.
Both types of unorthodoxy result in contentious ways of doing metalogic,for instance through unfamiliar restrictions on deduction or unfamiliar freedoms of expression.
两种类型的非正统导致在元逻辑研究方式上的争论。
4) logical map u
逻辑图元
1.
By defining logical map units,the paper presents with a mechanism to correlate the map units to their information.
引入了逻辑图元的概念 ,并建立了以逻辑图元为纽带的底图图元和图元属性信息的关联机
5) Logical NE
逻辑网元
6) logic primitive
逻辑基元
补充资料：元逻辑
元逻辑
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亚皿撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条