Marcelo Coniglio

• Analysis and Synthesis of Logics
• Paraconsistency