Projects funded by the NCN

Quantitative aspects of computational complexity in lambda calculus

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Definition and analysis of absolute structures with regards to the problem of background independence of physical theori...

Call: PRELUDIUM 11 , Panel: HS1

Principal investigator: Kamil Łacina

Uniwersytet Jagielloński, Wydział Filozoficzny

Presentism and the Notion of Existence

Call: OPUS 11 , Panel: HS1

Principal investigator: dr hab. Jerzy Gołosz

Uniwersytet Jagielloński, Wydział Filozoficzny

Axiomatizations of varieties and quasivarieties

Call: SONATA 1 , Panel: ST1

Principal investigator: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Teoria modeli z działaniem grupy skończonej

Call: ETIUDA 4 , Panel: ST1

Principal investigator: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozumowania hipotetyczne i okresy warunkowe

Call: FUGA 5 , Panel: HS1

Principal investigator: dr Maciej Sendłak

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

New methods of parametric modelling of consumer's preferences

Call: SONATA 10 , Panel: HS4

Principal investigator: prof. Mikołaj Czajkowski

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Model theory and topological dynamics

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Correlation inequalities for point processes

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Ryszard Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Causal investigations in the current economic research

Call: PRELUDIUM 10 , Panel: HS1

Principal investigator: Mariusz Maziarz

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Theories without the tree property of the first kind

Call: SONATA 10 , Panel: ST1

Principal investigator: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

Call: OPUS 10 , Panel: ST6

Principal investigator: dr hab. Michał Baczyński

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

Cognitive mechanisms of numeral reference

Call: OPUS 1 , Panel: HS1

Principal investigator: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Inequalities for log-concave vectors

Call: PRELUDIUM 10 , Panel: ST1

Principal investigator: Marta Strzelecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Scientific laws in evolutionary biology

Call: OPUS 10 , Panel: HS1

Principal investigator: dr Krzysztof Chodasewicz

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Mechanisms of geometric cognition

Call: OPUS 10 , Panel: HS1

Principal investigator: dr Mateusz Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

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

Metatheory of Tableau Systems

Call: OPUS 10 , Panel: HS1

Principal investigator: dr hab. Tomasz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Palka

Instytut Matematyczny Polskiej Akademii Nauk

Philosophy from Methodological Point of View. Condition and Prospect of Philosophical Disciplines in View of the Paradig...

Call: SONATA BIS 5 , Panel: HS1

Principal investigator: prof. Anna Brożek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Landscape of fear in closed-canopy forests: combined effects of tree logs and wolves on regeneration of palatable and le...

Call: OPUS 9 , Panel: NZ8

Principal investigator: dr hab. Dries Kuijper

Instytut Biologii Ssaków PAN

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Jerzy Neyman's Conception of Scientific Inference

Call: PRELUDIUM 9 , Panel: HS1

Principal investigator: Adam Kubiak

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Extremal axioms: logical, mathematical and cognitive aspects

Call: OPUS 9 , Panel: HS1

Principal investigator: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

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

Call: OPUS 9 , Panel: HS1

Principal investigator: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu