Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 3 projektów spełniających kryteria wyszukiwania:

  1. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

    Konkurs: OPUS 13 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  2. Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

    Konkurs: PRELUDIUM 10 , panel: HS1

    Kierownik: Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

  3. Metateoria systemów tablicowych

    Konkurs: OPUS 10 , panel: HS1

    Kierownik: dr hab. Tomasz Jarmużek

    Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny