Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning (Q2343486)

Annotated logics extend classical logic by means of arbitrary truth degrees in a given lattice. Syntactically, atoms are annotated with constants representing truth degrees in the lattice, so that one can write \(p_\mu\) to specify that atom \(p\) is believed with truth degree \(\mu\) or higher. The book presents propositional and first-order annotated logics, focusing on several fundamental properties such as Hilbert-style axiomatization.