Fundamental Logic Through the Lens of Modality
Fundamental logic is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, negation, and the quantifiers in a Fitch-style natural deduction system. In this paper, we attempt to obtain a better understanding of fundamental logic and its semantics through the lens of modality. Using modal logic, we develop means of mutual understanding between the fundamental logician, on the one hand, and the orthologician and intuitionistic logician, on the other: we prove that the Gödel-McKinsey-Tarski (GMT) translation of intuitionistic logic into the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.29954
curl -X POST /api/v1/records/arxiv/2606.29954/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.29954/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'