Predicate logics without the structure rules (Q1089330): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Predicate logics without the structure rules |
scientific article |
Statements
Predicate logics without the structure rules (English)
0 references
1986
0 references
In our previous paper [\textit{H. Ono} and \textit{Y. Komori}, J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)], 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 cannot carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference (\(\to \forall)\) and (\(\exists \to)\) are not always valid in our semantics. So, we have to introduce a notion of normal models.
0 references
Kripke-type semantics
0 references
predicate logics without the structure rules
0 references
normal models
0 references