Logical consequence, reasoning and computation (logcons) and sistemics, self-organ...
Formal verification of neural networks via Lukasiewicz infinitely-valued logic
Towards a unified setting for non-monotony and paraconsistency
Research proposal logical consequence and combinations of logics: fundaments and e...
Advances and new perspectives on paraconsistent belief revision