1 projects found matching your search criteria :
Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives
Call: PRELUDIUM 10 , Panel: HS1
Principal investigator: Mateusz Klonowski
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny