Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations
Fundamental logic (Holliday 2023) is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, and negation in a Fitch-style natural deduction system, while a preconditional (Holliday 2025) is a binary operation on a bounded lattice satisfying five natural axioms and subsuming Heyting implication, the Sasaki hook on ortholattices, and Lewis-Stalnaker-style conditionals satisfying flattening. We combine the two by giving a consequence-relation presentation $\mathsf{K}$ whose algebras are exactly Holliday's bounded lattices with a preconditional,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.20221
curl -X POST /api/v1/records/arxiv/2607.20221/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.20221/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'