First-Order Implication-Space Semantics
This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material inferences. Extant versions, however, include only propositional logic. This paper extends the framework so as to recover classical first-order logic. The goal is to formulate a theory in which consequence relations can be nonmonotonic and supraclassical, while obeying the deduction-detachment theorem and disjunction simplification, while also including…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.13908
curl -X POST /api/v1/records/arxiv/2602.13908/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.13908/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'