Wyniki wyszukiwania

1. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk…

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 21, panel: ST6

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

Kierownik: dr hab. Dorota Leszczyńska-Jasion

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

Konkurs: SONATA BIS 7, panel: HS1

3. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

Kierownik: prof. Andrzej Pietruszczak

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

Konkurs: OPUS 22, panel: HS1

4. Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi

Kierownik: Elżbieta Jennifer Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

Konkurs: PRELUDIUM 20, panel: HS1

5. Ontologia ekstensjonalna i logika filozoficzna

Kierownik: dr hab. Andrzej Paweł Biłat

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

Konkurs: OPUS 2, panel: HS1

6. Hybrydyzacja fragmentów logiki Halperna-Shohama

Kierownik: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: PRELUDIUM 12, panel: HS1

7. Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina

Kierownik: dr Mateusz Klonowski

Uniwersytet Mikołaja Kopernika

Konkurs: OPUS 29, panel: HS1

8. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

Kierownik: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Konkurs: PRELUDIUM 21, panel: HS1

9. Teorie modalności epistemicznych i ontycznych z pierwotnym pojęciem zmiany. Rozszerzenia logiki zmiany LC

Kierownik: Marcin Łyczak

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

Konkurs: PRELUDIUM 13, panel: HS1

10. Reminiscencje na temat Jaśkowskiego - logiczno-filozoficzne badania inspirowane pracami na temat logiki dyskusyjnej

Kierownik: dr hab. Marek Nasieniewski

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

Konkurs: OPUS 12, panel: HS1

11. Równoważność w logikach podstrukturalnych

Kierownik: prof. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 23, panel: HS1

12. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 5, panel: ST6

13. Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości

Kierownik: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Konkurs: SONATA 19, panel: HS1

14. Logiki sytuacji

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 13, panel: HS1

15. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

Kierownik: prof. Andrzej Bogusław Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: OPUS 13, panel: HS1

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

Kierownik: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Konkurs: PRELUDIUM 10, panel: HS1

17. Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi

Kierownik: dr hab. Zofia Jadwiga Kostrzycka

Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

Konkurs: OPUS 5, panel: HS1

18. Logika językowego doświadczenia

Kierownik: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 2, panel: HS1

19. Wielowartościowa logika Jana Łukasiewicza jako podstawa nowej interpretacji mechaniki kwantowej

Kierownik: dr hab. Jarosław Pykacz

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

Konkurs: OPUS 2, panel: HS1

20. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1

21. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

22. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Konkurs: PRELUDIUM 23, panel: ST6

23. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6

24. Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

Kierownik: Krzysztof Aleksander Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: PRELUDIUM 22, panel: HS1

25. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

Kierownik: prof. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 24 (LAP), panel: HS1

26. Filozoficzna i formalna analiza jakościowych logik przestrzeni

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Konkurs: SONATA 13, panel: HS1

27. Logiki pozycyjne - metateoria i zastosowania

Kierownik: dr hab. Marcin Tkaczyk

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Konkurs: SONATA BIS 1, panel: HS1

28. Logiki dla wnioskowań jakościowych

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: MAESTRO 1, panel: HS1

29. Logika temporalna i filozofia cyklicznego niedeterministycznego świata

Kierownik: dr Marcin Łyczak

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

Konkurs: OPUS 25, panel: HS1

30. Logika deontyczna na potrzeby samochodów autonomicznych

Kierownik: prof. Piotr Wojciech Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Konkurs: HARMONIA 9, panel: HS1

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

Kierownik: prof. Andrzej Wiśniewski

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

Konkurs: MAESTRO 2, panel: HS1

32. Wokół logik modalnych - rozstrzygalność i złożoność

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 2, panel: ST6

33. Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa…

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Konkurs: SONATA 1, panel: HS1

34. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

35. Automation of the Problem of Unification in Description Logics

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Konkurs: POLONEZ BIS 3, panel: ST6

36. Na przecięciu etyki, filozofii przyrody i logiki. Woluntaryzm Ryszarda FitzRalpha i Ryszarda Kilvingtona

Kierownik: dr hab. Monika Izabela Michałowska

Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

Konkurs: OPUS 24, panel: HS1

37. Materiały hybrydowe - na pograniczu urządzeń neuromorficznych oraz układów logiki rozmytej

Kierownik: Kacper Krzysztof Pilarczyk

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

Konkurs: PRELUDIUM 11, panel: ST3

38. Logiki do przetwarzania danych i weryfikacji

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 8, panel: ST6

39. Modelowanie współpracy agentów z wykorzystaniem logiki wielowartościowej i równoległego przetwarzania informacji

Kierownik: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

Konkurs: OPUS 3, panel: ST6

40. Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 8, panel: ST6

41. Logika ciągła i jej algebraiczne zastosowania

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 1, panel: ST1

42. Zintegrowane układy perowskitowe do polarytonowej logiki spinowej

Kierownik: dr Helgi Sigurdsson

Uniwersytet Warszawski

Konkurs: OPUS 28, panel: ST3

43. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 23, panel: ST6

44. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Konkurs: OPUS 16, panel: ST6

45. Zastosowania logiki z funcjami częściowymi

Kierownik: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 9, panel: ST6

46. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 6, panel: ST6

47. Ekonomia i literatura. Związki między logiką ekonomii a literacką mimesis.

Kierownik: Michał Krzysztof Sowiński

Uniwersytet Jagielloński, Wydział Polonistyki

Konkurs: PRELUDIUM 3, panel: HS2

48. Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

Kierownik: prof. Tomasz Franciszek Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 22, panel: HS1

49. Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 15, panel: HS1

50. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: MAESTRO 6, panel: ST6

Wyszukiwarka projektów