https://scholars.lib.ntu.edu.tw/handle/123456789/639476
標題: | Hyperintensionality in Relevant Logics | 作者: | SHAWN MICHAEL STANDEFER | 公開日期: | 1-一月-2023 | 卷: | 14329 LNCS | 起(迄)頁: | 238-250 | 來源出版物: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 摘要: | In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/639476 | ISBN: | 9783031455575 | ISSN: | 03029743 | DOI: | 10.1007/978-3-031-45558-2_18 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。