Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
In this paper we present the first-order logic QLETF+, a quantified version of the logic LETF+, introduced in Coniglio and Rodrigues (Studia Logica 112:561-606, 2024). QLETF+ exhibits several properties that are not always enjoyed by logics equipped with classicality operators. We show that it satisfies the replacement property and admits conjunctive, disjunctive, and prenex normal forms. Alongside extensions and anti-extensions, as in the previously studied first-order semantics for LETs, we make use here of what we call o-extensions: given an n-ary predicate symbol P, the o-extension of P…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.18526
curl -X POST /api/v1/records/arxiv/2604.18526/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.18526/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'