Projects funded by the NCN

Ontology of metaphysics

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Paweł Rafał Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

Literature and Science: dialogue, beyond the metaphors, between the two cultures in Italian contemporary literature

Call: SONATA 4 , Panel: HS2

Principal investigator: dr Stefano Pietro Redaelli

Uniwersytet Warszawski, Wydział Artes Liberales

New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Re-introducing the Early Byzantine Metaphysics: Leontius of Byzantium, Maximus the Confessor, Anastasius Sinaita, Theodo...

Call: OPUS 3 , Panel: HS1

Principal investigator: dr hab. Anna Zhyrkova

Akademia Ignatianum w Krakowie, Wydział Filozoficzny

Positional logic - metatheory and applications

Call: SONATA BIS 1 , Panel: HS1

Principal investigator: dr hab. Marcin Tkaczyk

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Realization of logic gates in chiral nematic liquid crystals in a wedge-shaped cell

Call: SONATA 3 , Panel: ST7

Principal investigator: dr Urszula Anna Laudyn

Politechnika Warszawska, Wydział Fizyki

Economy and literature. Relationships between logic of the economy and literary mimesis.

Call: PRELUDIUM 3 , Panel: HS2

Principal investigator: Michał Krzysztof Sowiński

Uniwersytet Jagielloński, Wydział Polonistyki

Modeling cooperation of agents by multivalued logics and parallel processing

Call: OPUS 3 , Panel: ST6

Principal investigator: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

Call: MAESTRO 2 , Panel: HS1

Principal investigator: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

Logic of language experience

Call: OPUS 2 , Panel: HS1

Principal investigator: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Nanoporous oxide layers on Ti and Zr loaded with Ag or ZnO nanoparticles as a promissing substrates for biomedical appli...

Call: PRELUDIUM 2 , Panel: ST5

Principal investigator: dr Agata Partycja Roguska

Politechnika Warszawska, Wydział Inżynierii Materiałowej

The influence of spot joint strength on impact-loaded thin walled structures energy absorption ability

Call: PRELUDIUM 2 , Panel: ST8

Principal investigator: dr Paweł Janusz Kaczyński

Politechnika Wrocławska, Wydział Mechaniczny

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

Composite materials for molecular optoelectronics

Call: OPUS 2 , Panel: ST5

Principal investigator: prof. Konrad Szaciłowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

Flexible algorithms for facility layout problems in production management and logistics

Call: OPUS 2 , Panel: HS4

Principal investigator: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

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

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

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

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

Revalorisation areas of public space loaded criminogenic phenomena in post-industrial city based on the example of the J...

Call: OPUS 1 , Panel: HS4

Principal investigator: dr hab. Alicja Krzemińska

Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska

New catalysts containing Zr, Nb, Mo, Au, Pt loaded on porous supports for low-energy processes for fine chemicals produc...

Call: OPUS 1 , Panel: ST5

Principal investigator: prof. Maria Jolenta Ziółek

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

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

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

Continuous logic and its algebraic applications

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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