Projekty finansowane przez NCN

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowanie modelu poziomów analizy w badaniach nad twierdzeniami współczesnego teizmu naturalistycznego na temat relac...

Konkurs: OPUS 5 , panel: HS1

Kierownik: dr Piotr Bylica

Uniwersytet Zielonogórski, Wydział Humanistyczny

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Ciężar dowodu w prawie pracy

Konkurs: PRELUDIUM 3 , panel: HS5

Kierownik: Aneta Tyc

Uniwersytet Łódzki, Wydział Prawa i Administracji

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

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

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

Dowody eksperckie z perspektywy interdyscyplinarnej

Konkurs: SONATA 18 , panel: HS5

Kierownik: dr Bartłomiej Kucharzyk

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Damian Głodkowski

Instytut Matematyczny Polskiej Akademii Nauk

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

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

Swobodna ocena dowodów – analiza teoretycznoprawna

Konkurs: ETIUDA 5 , panel: HS5

Kierownik: Bartłomiej Kucharzyk

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Jakość i funkcjonalność ocen skutków regulacji w perspektywie teorii tworzenia polityk publicznych w oparciu o dowody...

Konkurs: OPUS 12 , panel: HS5

Kierownik: dr Wojciech Rogowski

Szkoła Główna Handlowa w Warszawie, Kolegium Gospodarki Światowej

Prejudycjalność w polskim i rosyjskim procesie karnym. Analiza prawonoporównawcza

Konkurs: PRELUDIUM 11 , panel: HS5

Kierownik: dr Joanna Machlańska

Uniwersytet Jagielloński, Wydział Prawa i Administracji