A contractionless semilattice semantics
From MaRDI portal
Publication:3762287
DOI10.2307/2274399zbMath0624.03015OpenAlexW2080659650MaRDI QIDQ3762287
Steve Giambrone, Alasdair Urquhart, Robert K. Meyer
Publication date: 1987
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274399
Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (4)
Four relevant Gentzen systems ⋮ A reinterpretation of the semilattice semantics with applications ⋮ A Logical Autobiography ⋮ Revisiting Semilattice Semantics
This page was built for publication: A contractionless semilattice semantics