https://scholars.lib.ntu.edu.tw/handle/123456789/587921
標題: | Revisiting Semilattice Semantics | 作者: | SHAWN MICHAEL STANDEFER | 關鍵字: | Collection frames | Frame theory | Operational semantics | Relevant logics | Semilattice semantics | 公開日期: | 1-一月-2022 | 卷: | 22 | 來源出版物: | Outstanding Contributions to Logic | 摘要: | 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. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587921 | ISBN: | 978-3-030-71429-1 978-3-030-71430-7 |
ISSN: | 22112758 | DOI: | 10.1007/978-3-030-71430-7_7 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。