Four negations and the spectral presheaf
Using Vakarelov's theory of lattice logics with negation, we introduce the (co)quasiintuitionistic logic, and prove its soundness and completeness with respect to the class of (co)quasiintuitionistic algebras. Combining these algebras together, we obtain biquasiintuitionistic algebras and the biquasiintuitionistic logic. Their further extension with the Skolem algebra structure defines Akchurin algebras and the respective logic, which is a product of biquasiintuitionistic and biintuitionistic logics, featuring four distinct negations. Next we generalise the framework of spectral presheaves…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.08699
curl -X POST /api/v1/records/arxiv/2603.08699/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.08699/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'