Predicate logics without the structure rules
Predicate logics without the structure rules
复制标题
没有结构规则的谓词逻辑
DOI：
10.1007/bf00370272
复制
发表时间：
1986
期刊：
影响因子：
0.7
通讯作者：
Yuichi Komori
中科院分区：
文献类型：
--
作者：
Yuichi Komori
在我们以前的文章[5]中，我们研究了没有压缩规则的命题逻辑的Kripke型语义。在本文中，我们将我们的论点扩展到没有结构规则的谓词逻辑。与命题格类似，我们不能在谓词格中进行亨金构式。此外，还存在一个困难，即在我们的语义中，推理规则（→推理）和（→推理）并不总是有效的。因此，我们必须引入正态模型的概念。
In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference (→∀) and (∃→) are not always valid in our semantics. So, we have to introduce a notion of normal models.