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...
Logics for approximate reasoning: approximating classical logic "from above"