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

Arthur Nakamura, David Drummond, Welbert Pereira +2

Paraconsistent Annotated Logic with two values (PAL2v) annotates a proposition with a pair $(\mu ,\lambda )$ of degrees of favorable and unfavorable evidence, drawn from a bilattice whose fo…