Projects search

• Keywords: axiomatization ×

Change search criteria ↓

Search results

11 projects found matching your search criteria:

1. 1. Axiomatizations of varieties and quasivarieties

   Principal investigator: dr Michał Stronkowski

   Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

   Call: SONATA 1, Panel: ST1

2. 2. Relation based semantics: axiomatic and tableaux proof-calculi

   Principal investigator: dr hab. Tomasz Dariusz Jarmużek

   Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

   Call: OPUS 26, Panel: HS1

3. 3. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

   Principal investigator: prof. Andrzej Pietruszczak

   Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

   Call: OPUS 22, Panel: HS1

4. 4. Measuring uncertainty and testing reference point rules using indifference prices: axiomatic and experimental approaches…

   Principal investigator: dr hab. Michał Lewandowski

   Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

   Call: OPUS 21, Panel: HS4

5. 5. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

   Principal investigator: dr hab. Piotr Faliszewski

   Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

   Call: OPUS 11, Panel: ST6

6. 6. Inequality for ordinal data: partial ranking and axiomatic approach

   Principal investigator: Małgorzata Wąsiewicz

   Instytut Nauk Ekonomicznych PAN

   Call: PRELUDIUM 8, Panel: HS4

7. 7. Consumption sphere as a co-engine of innovative changes in Schumpeterian evolutionary economics - an axiomatic approach

   Principal investigator: dr Beata Maria Ciałowicz

   UNIWERSYTET EKONOMICZNY W KRAKOWIE, Wydział Finansów

   Call: OPUS 7, Panel: HS4

8. 8. Logical and epistemological criteria of salience in the foundations of mathematics

   Principal investigator: dr Mateusz Zbigniew Łełyk

   Uniwersytet Warszawski, Wydział Filozofii

   Call: SONATA BIS 12, Panel: HS1

9. 9. Truth: Between Disquotation and Compositionality.

   Principal investigator: dr Mateusz Zbigniew Łełyk

   Uniwersytet Warszawski

   Call: SONATA 15, Panel: HS1

10. 10. Epistemic and semantic commitments of foundational theories

    Principal investigator: dr hab. Cezary Cieśliński

    Uniwersytet Warszawski

    Call: MAESTRO 11, Panel: HS1

11. 11. Formal theories of truth and nonstandard models of arithmetic

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 7, Panel: HS1