Intuitionistic logic, dual intuitionistic logic, and modality
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909400703172608 |
|---|---|
| author | Aryal, Safal Raman |
| author_facet | Aryal, Safal Raman |
| contents | We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and intuitionistic logic, showing organically the progression from the primordial example of lattices of open sets of topological spaces to more general ways of thinking about Heyting algebras. Then, we adapt the ideas to the dual intuitionistic setting, and use them to prove a number of interesting properties, including a deep relationship both intuitionistic and dual intuitionistic logic share through Kripke semantics to the modal logic $\mathsf{S4}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_07363 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Intuitionistic logic, dual intuitionistic logic, and modality Aryal, Safal Raman Logic We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and intuitionistic logic, showing organically the progression from the primordial example of lattices of open sets of topological spaces to more general ways of thinking about Heyting algebras. Then, we adapt the ideas to the dual intuitionistic setting, and use them to prove a number of interesting properties, including a deep relationship both intuitionistic and dual intuitionistic logic share through Kripke semantics to the modal logic $\mathsf{S4}$. |
| title | Intuitionistic logic, dual intuitionistic logic, and modality |
| topic | Logic |
| url | https://arxiv.org/abs/2411.07363 |