Bases for paraconsistent logic programming in multi-valued logics
Solving Puzzles and Reframing Paradoxes: an investigation in non-classical logics
Logical consequence, reasoning and computation (logcons) and sistemics, self-organ...
Truth and paradox: consequences of the liar's paradox for formal theories of truth