Semantical analysis of predicate logics without the contraction rule
type: Item
instance of: scholarly article
title: Semantical analysis of predicate logics without the contraction rule
zbMATH Open document ID: 0595.03019
DOI: 10.1007/BF00379766
author: Hiroakira Ono
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
review text: A semantics for some predicate logics without the contraction rule is introduced in this paper. Each structure in our semantics is a partially- ordered monoid which is also a complete meet-semilattice with a constant domain. By using the method developed by the author and \textit{Y. Komori} in J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018), the completeness theorem is proved. Then it is shown that the above semantics has a close connection with Beth semantics.
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3957063
zbMATH Keywords: Kripke models
zbMATH Keywords: Beth models
zbMATH Keywords: semantics
zbMATH Keywords: partially-ordered monoid
zbMATH Keywords: complete meet-semilattice
zbMATH Keywords: completeness theorem
MaRDI profile type: Publication
cites work: Logics without the contraction rule
full work available at URL: https://doi.org/10.1007/bf00379766
OpenAlex ID: W2011534128
description: scientific article; zbMATH DE number 3957063