Axiomatic Justification in Constructive Morse Set Theory
Working within Constructive Morse Set Theory (CMST), we introduce axioms for a new notion, jst Pp, intended to capture what it means for P to prove, or justify, p under the BHK interpretation of intuitionistic logic. Since it makes no distinction between terms and formulae -- every term is also a formula, and vice versa -- CMST is well suited to our axiomatic development of justification theory within set theory itself. After stating our axioms for jst Pp, we derive many consequences thereof. In particular, we show that (with certain restrictions) our axioms for jst Pp align with the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.19707
curl -X POST /api/v1/records/arxiv/2606.19707/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.19707/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'