Correction to ``Survey of generalizations of Urquhart semantics''
type: Item
instance of: scholarly article
title: Correction to ``Survey of generalizations of Urquhart semantics''
zbMATH Open document ID: 0664.03018
author: R. A. Bull
published in: Notre Dame Journal of Formal Logic
publication date: 1989-01-01T00:00:00Z
review text: Correction to the author's paper in ibid. 28, 220-237 (1987; Zbl 0648.03007).
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 4085620
zbMATH Keywords: relevant logics
zbMATH Keywords: semilattice semantics
zbMATH Keywords: semilattice logic
zbMATH Keywords: relevant semantics
zbMATH Keywords: BCK logic
zbMATH Keywords: contractionless logics
zbMATH Keywords: relevant system RW
zbMATH Keywords: Urquhart semantics
zbMATH Keywords: completeness
zbMATH Keywords: Gentzenization
zbMATH Keywords: Gentzen system
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4085620