Predicate logics without the structure rules (Q1089330)

From MaRDI portal
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
    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

    Identifiers