Correction to ``Survey of generalizations of Urquhart semantics

zbMath0664.03018MaRDI QIDQ1115418

R. A. Bull

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

completenessGentzen systemrelevant logicssemilattice logicrelevant semanticsBCK logiccontractionless logicsGentzenizationrelevant system RWsemilattice semanticsUrquhart semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Correction to ``Survey of generalizations of Urquhart semantics