Saved in:
| Main Authors: | , |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.17834321 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866901711728148480 |
|---|---|
| author | Revista, Zen MATH, 10 |
| author_facet | Revista, Zen MATH, 10 |
| contents | This paper introduces a novel, unified framework for understanding intuitionistic, modal, and paraconsistent logics through the lens of sheaf theory. By conceptualizing "logical states" as varying sections over a topological space, we demonstrate how the core principles and semantic structures of these diverse logical systems can be elegantly captured and interrelated within a single mathematical paradigm. We define sheaves of logical states, where the stalks represent local interpretations or truth values, and the restriction maps embody the consistency requirements or epistemic access across open sets. For intuitionistic logic, this framework naturally models the Heyting algebra structure arising from open sets of a topological space. For modal logic, Kripke frames are shown to be representable as specific types of topological spaces over which sheaves of propositions are constructed, with accessibility relations encoded in the topology or the sheaf's structure. Crucially, the framework extends to paraconsistent logics by allowing for non-classical truth assignments in the stalks that can tolerate contradictions locally, while global consistency can be maintained or analyzed. This unification not only provides a deeper categorical and topological understanding of these logics but also opens new avenues for exploring their foundational properties, computational implementations, and applications in areas such as knowledge representation, distributed systems, and formal semantics. The paper details the formal constructions, provides examples for each logical system, and discusses the implications of this topological approach for future research in non-classical logics. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17834321 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Sheaves of Logical States: A Unified Framework for Intuitionistic, Modal, and Paraconsistent Logics Revista, Zen MATH, 10 This paper introduces a novel, unified framework for understanding intuitionistic, modal, and paraconsistent logics through the lens of sheaf theory. By conceptualizing "logical states" as varying sections over a topological space, we demonstrate how the core principles and semantic structures of these diverse logical systems can be elegantly captured and interrelated within a single mathematical paradigm. We define sheaves of logical states, where the stalks represent local interpretations or truth values, and the restriction maps embody the consistency requirements or epistemic access across open sets. For intuitionistic logic, this framework naturally models the Heyting algebra structure arising from open sets of a topological space. For modal logic, Kripke frames are shown to be representable as specific types of topological spaces over which sheaves of propositions are constructed, with accessibility relations encoded in the topology or the sheaf's structure. Crucially, the framework extends to paraconsistent logics by allowing for non-classical truth assignments in the stalks that can tolerate contradictions locally, while global consistency can be maintained or analyzed. This unification not only provides a deeper categorical and topological understanding of these logics but also opens new avenues for exploring their foundational properties, computational implementations, and applications in areas such as knowledge representation, distributed systems, and formal semantics. The paper details the formal constructions, provides examples for each logical system, and discusses the implications of this topological approach for future research in non-classical logics. |
| title | Sheaves of Logical States: A Unified Framework for Intuitionistic, Modal, and Paraconsistent Logics |
| url | https://doi.org/10.5281/zenodo.17834321 |