一阶语言相关论文
通常的逻辑学教材都会讲到一阶语言是一种形式语言，但是所讲的形成规则一般都是规定什么是公式，而非如何构造公式。而本文从乔姆斯基......
本文以α型为基本工具研究代数问题,给出了Abian结果的一个进一步的结果,并给出了域上的无限线性方程组有解的一些判定准则.......
引入两个引理分析了一阶语言中赋值的性质，简化了项的代入定理的证明，新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系．......
由于数理逻辑非常抽象，我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法，用封闭图形......
在模型论语义下,一个公式是否具有有穷模型往往和可计算性相关。但是我们也可以仅仅从基数的角度来观察,譬如在一阶语言里,是什么......
双生子佯谬是狭义相对论中的典型效应,匈牙利学者Madarász等人在《双生子佯谬及相对论的逻辑基础》一文中首先阐述了双生子佯谬与......
