Abstract
In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb (Journal of Philosophical Logic 48:305–405, 2019) as a logic for hyperintensional contexts. On the one hand we introduce a simple G1-system employing rules of contraposition. On the other hand we present a G3-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the calculus by connections as introduced in Kashima and Shimura (Mathematical Logic Quarterly 40:153–172, 1994).
Item Type: | Journal article |
---|---|
Faculties: | Philosophy, Philosophy of Science and Religious Science |
Subjects: | 100 Philosophy and Psychology > 100 Philosophy |
URN: | urn:nbn:de:bvb:19-epub-90933-9 |
ISSN: | 0039-3215 |
Language: | English |
Item ID: | 90933 |
Date Deposited: | 09. Feb 2022, 13:39 |
Last Modified: | 11. Jan 2023, 15:12 |