Projects funded by the NCN

Logic of language experience

Call: OPUS 2 , Panel: HS1

Principal investigator: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Many-valued logic of Jan Łukasiewicz as a basis for a new interpretation of quantum mechanics

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Jarosław Pykacz

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

Call: OPUS 2 , Panel: ST7

Principal investigator: dr hab. Maciej Tomasz Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów PIAP

80 years of investigations on natural deduction and sequent calculi

Call: OPUS 2 , Panel: HS1

Principal investigator: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

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

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

Decision procedures in verification

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Exploring rhetorical strategies in a dialogue

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Katarzyna Budzyńska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Category-theoretic framework for the Fraissé-Jónsson construction

Call: OPUS 2 , Panel: ST1

Principal investigator: dr hab. Wiesław Kubiś

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Around Modal Logics - Decidability and Complexity

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logics for qualitative reasoning

Call: MAESTRO 1 , Panel: HS1

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Ethnography as personal experiance. Generation ground of methodology and fieldwork practice transformation

Call: PRELUDIUM 1 , Panel: HS3

Principal investigator: Filip Wróblewski

Uniwersytet Jagielloński, Wydział Historyczny

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

Call: SONATA 1 , Panel: HS4

Principal investigator: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Axiomatizations of varieties and quasivarieties

Call: SONATA 1 , Panel: ST1

Principal investigator: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Cognitive mechanisms of numeral reference

Call: OPUS 1 , Panel: HS1

Principal investigator: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

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

The empirical sources of mathematical knowledge

Call: OPUS 1 , Panel: HS1

Principal investigator: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Tolerance relations in lattices and their applications

Call: OPUS 1 , Panel: HS1

Principal investigator: dr hab. Joanna Ewa Grygiel

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Ideals and group actions on Polish spaces

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Michał Aleksander Morayne

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

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Applications of infinitary combinatorics and analytic topology in Banach spaces and related structures.

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Piotr Bolesław Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Continuous logic and its algebraic applications

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

How innocent is the concept of truth? Philosophical and logical analysis of deflationism

Call: OPUS 1 , Panel: HS1

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II