Predicate logics without the structure rules |
| |
Authors: | Yuichi Komori |
| |
Affiliation: | (1) Department of Mathematics Faculty of Science, Shizuoka University, Shizuoka, Japan |
| |
Abstract: | 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.Dedicated to the memory of the late Professor Hidetosi Takahasi |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|