Logical consequence, reasoning and computation (logcons) and sistemics, self-organ...
Research proposal logical consequence and combinations of logics: fundaments and e...
Computing logical consequence in Lukasiewicz infinitely-valued logic
Improving efficiency of belief base change in description logics with modularity i...