Decoupling Evidence Sources in Paraconsistent Logic: A Generalized PAL2v Framework for Educational Assessment

Arthur Nakamura, David Drummond, Welbert Pereira, Gustavo Lahr, Kaique Matias de Andrade Roberto

arXivarxiv/2609.13284Sep 8, 2026cs.LOscore 0

Paraconsistent Annotated Logic with two values (PAL2v) annotates a proposition with a pair $(μ,λ)$ of degrees of favorable and unfavorable evidence, drawn from a bilattice whose four extreme points are the values of Belnap and Dunn. In applications, however, the second coordinate is almost always taken to be the complement of the first, and several such annotations are then fused. We show that this practice determines the sign of the degree of contradiction in advance, independently of the data: for aggregation functions $F$ and $G$ the fused degree of contradiction equals $F-G^{d}$, where…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.13284
curl -X POST /api/v1/records/arxiv/2609.13284/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.13284/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'