Predicate logics without the structure rules
type: Item
instance of: scholarly article
title: Predicate logics without the structure rules
zbMATH Open document ID: 0619.03009
DOI: 10.1007/BF00370272
author: Yuichi Komori
published in: Studia Logica
publication date: 1986-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 4004149
zbMATH Keywords: Kripke-type semantics
zbMATH Keywords: predicate logics without the structure rules
zbMATH Keywords: normal models
MaRDI profile type: Publication
cites work: A decidable fragment of predicate calculus
cites work: A new semantics for intuitionistic predicate logic
cites work: Semantical analysis of predicate logics without the contraction rule
cites work: Logics without the contraction rule
description: scientific article; zbMATH DE number 4004149