Projects funded by the NCN

Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Call: SONATA BIS 7 , Panel: HS1

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

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

Sequent- and tableau-based proof systems for nonclassical logics

Call: OPUS 13 , Panel: HS1

Principal investigator: prof. Andrzej Bogusław Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Logics of Situations

Call: OPUS 13 , Panel: HS1

Principal investigator: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Data-driven tests for censored data

Call: OPUS 13 , Panel: ST1

Principal investigator: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Theories of epistemic and ontic modalities with the primitive concept of change. Extensions of Logic of Change LC

Call: PRELUDIUM 13 , Panel: HS1

Principal investigator: Marcin Łyczak

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

Acceleration of information searching in large data sets by means of hardware methods

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Kazimierz Wiatr

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

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reminiscences on Jaśkowski - logico-philosophical investigations inspired by works on discussive logic

Call: OPUS 12 , Panel: HS1

Principal investigator: dr hab. Marek Nasieniewski

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

Hybridizing Fragments of Halpern-Shoham Logic

Call: PRELUDIUM 12 , Panel: HS1

Principal investigator: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

Call: SONATA BIS 6 , Panel: HS1

Principal investigator: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices

Call: PRELUDIUM 11 , Panel: ST3

Principal investigator: Kacper Krzysztof Pilarczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Correlation inequalities for point processes

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Ryszard Jacek Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

Call: OPUS 10 , Panel: ST6

Principal investigator: dr hab. Michał Krzysztof Baczyński

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

Inequalities for log-concave vectors

Call: PRELUDIUM 10 , Panel: ST1

Principal investigator: Marta Strzelecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 w Toruniu, Wydział Humanistyczny

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Andrzej Palka

Instytut Matematyczny Polskiej Akademii Nauk

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 Pieter Jan Kuijper

Instytut Biologii Ssaków Polskiej Akademii Nauk

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean Marie 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

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