Very weak subintuitionistic logics
We introduce a new propositional logic, called very weak subintuitionistic logic $\mathbf{VF}$, by adapting the relational semantics of Fitting, Marek, and Truszczyński for the pure logic of necessitation $\mathbf{N}$ to the propositional setting. We prove that $\mathbf{VF}$ and its closed negative extensions are sound and complete with respect to this semantics, and that they have the disjunction property and the finite frame property. We also prove that $\mathbf{VF}$ is strictly weaker than the weak subintuitionistic logic $\mathbf{WF}$ of Maleki and de Jongh. Finally, we study modal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.20769
curl -X POST /api/v1/records/arxiv/2605.20769/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.20769/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'