Projects search

• Keywords: second order logic ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Higher-order logic and absoluteness phenomena in set theory

   Principal investigator: dr Bartosz Wcisło

   Uniwersytet Gdański, Wydział Nauk Społecznych

   Call: SONATA 19, Panel: HS1

2. 2. Extensional Ontology and Philosophical Logic

   Principal investigator: dr hab. Andrzej Paweł Biłat

   Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

   Call: OPUS 2, Panel: HS1

3. 3. Structural complexity measures for foundational theories

   Principal investigator: dr Mateusz Zbigniew Łełyk

   Uniwersytet Warszawski

   Call: WEAVE-UNISONO, Panel: HS1