Projects search

• Keywords: systemy tablicowe ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

   Principal investigator: Mateusz Klonowski

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Call: PRELUDIUM 10, Panel: HS1

2. 2. Sequent- and tableau-based proof systems for nonclassical logics

   Principal investigator: prof. Andrzej Bogusław Indrzejczak

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Call: OPUS 13, Panel: HS1

3. 3. Metatheory of Tableau Systems

   Principal investigator: dr hab. Tomasz Dariusz Jarmużek

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Call: OPUS 10, Panel: HS1