<<
From Axioms to Rules — A Coalition of Fuzzy, Linear and Substructural Logics Kazushige Terui National Institute of Informatics, Tokyo Laboratoire d’Informatique de Paris Nord (Joint work with Agata Ciabattoni and Nikolaos Galatos)
Genova, 21/02/08 – p.1/?? Parties in Nonclassical Logics
Modal Logics Default Logic Intermediate Logics (Padova) Basic Logic Paraconsistent Logic
Linear Logic Fuzzy Logics
Substructural Logics
Genova, 21/02/08 – p.2/?? Parties in Nonclassical Logics
Modal Logics Default Logic Intermediate Logics (Padova) Basic Logic Paraconsistent Logic
Linear Logic Fuzzy Logics
Substructural Logics
Our aim: Fruitful coalition of the 3 parties
Genova, 21/02/08 – p.2/?? Basic Requirements
Substractural Logics: Algebraization
µ Ä ´ Î
Ä