Revisiting Semilattice Semantics
Journal
Outstanding Contributions to Logic
Journal Volume
22
ISBN
978-3-030-71429-1
978-3-030-71430-7
Date Issued
2022-01-01
Author(s)
Abstract
The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.
Subjects
Collection frames | Frame theory | Operational semantics | Relevant logics | Semilattice semantics
Type
book part