Logical consequence, reasoning and computation (logcons) and sistemics, self-organ...
Advances and new perspectives on paraconsistent belief revision
Conformed Thought and Art in the Context of Algorithmic Logic Procedures and AI.
Logprob: probabilistic logic --- foundations and computational applications
Solving Puzzles and Reframing Paradoxes: an investigation in non-classical logics
Logical and computational aspects of the demonstration method using formal polynom...