Year: 2025
Type: article
Abstract: In this article, we present a definition of hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including $${\sf HYPE}$$ and some substructural logics. We further prove some positive and negative results concerning extensionality and hyperintensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results in the area of epistemic logic.
Source: Synthese
Author: Shawn Standefer
Institution: North Carolina State University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,190
Funder: University of St Andrews
OpenAlex ID: W4414913835