Survey of generalizations of Urquhart semantics

DOI10.1305/ndjfl/1093636940zbMath0648.03007OpenAlexW1970039631MaRDI QIDQ1104918

R. A. Bull

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636940

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)

Related Items (1)

Modal translations in substructural logics

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