Projects search

• Keywords: formalizacja ×

Change search criteria ↓

Search results

7 projects found matching your search criteria:

1. 1. Recognising Saints in the High Middle Ages: Local and Papal Formalisation of Cults Reconsidered

   Principal investigator: dr hab. Grzegorz Leszek Pac

   Uniwersytet Warszawski, Wydział Historii

   Call: SONATA BIS 13, Panel: HS3

2. 2. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n…

   Principal investigator: dr hab. Piotr Łukowski

   Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

   Call: OPUS 9, Panel: HS1

3. 3. A unified logical framework for reasoning about deontic properties of actions and states of affairs

   Principal investigator: dr Robert Trypuz

   TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

   Call: OPUS 9, Panel: HS1

4. 4. SYNAMET - Microcorpus of Synaesthetic Metaphors. Towards a Formal Description and Efficient Methods of Analysis of Metap…

   Principal investigator: dr hab. Magdalena Anna Zawisławska

   Uniwersytet Warszawski, Wydział Polonistyki

   Call: OPUS 8, Panel: HS2

5. 5. The methods of formalization and criteria for the rationality of reasoning

   Principal investigator: dr hab. Anna Wójtowicz

   Uniwersytet Warszawski, Wydział Filozofii i Socjologii

   Call: OPUS 3, Panel: HS1

6. 6. Metatheory of Tableau Systems

   Principal investigator: dr hab. Tomasz Dariusz Jarmużek

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Call: OPUS 10, Panel: HS1

7. 7. Does the language of economics limit its explanatory power? Analyzing the impact of unrealistic assumptions, mathematica…

   Principal investigator: dr Łukasz Hardt

   Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

   Call: SONATA 1, Panel: HS4