Znaleziono 277 projektów spełniających kryteria wyszukiwania:
Fundamentalne prawa przyrody i ich role w metafizyce
Konkurs: SONATA 19 , panel: HS1
Kierownik: dr Joanna Luc
Uniwersytet Jagielloński, Wydział Filozoficzny
Aksjomaty forsingowe, modele wewnętrzne i determinacja
Konkurs: MAESTRO 15 , panel: ST1
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Michał Godziszewski
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Logika temporalna i filozofia cyklicznego niedeterministycznego świata
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Marcin Łyczak
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny
Wolne i iteratywne operatory na ciałach
Konkurs: PRELUDIUM 22 , panel: ST1
Kierownik: Jakub Gogolok
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 22 , panel: HS4
Kierownik: Binayak Malla
Uniwersytet Warszawski, Wydział Zarządzania
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Adrian Stencel
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: OPUS 25 , panel: HS5
Kierownik: dr hab. Paweł Bryła
Uniwersytet Łódzki, Wydział Studiów Międzynarodowych i Politologicznych
Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych
Konkurs: PRELUDIUM 22 , panel: HS1
Kierownik: Krzysztof Krawczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Metafilozofia interpretacji prawniczej
Konkurs: OPUS 25 , panel: HS5
Kierownik: dr hab. Adam Dyrda
Uniwersytet Jagielloński, Jagiellońskie Centrum Badawcze "Prawo – Język – Filozofia"
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Filozofia nauki dla kryzysu replikacji
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Mariusz Maziarz
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 22 , panel: HS1
Kierownik: Marcin Rabiza
Instytut Filozofii i Socjologii Polskiej Akademii Nauk, Szkoła 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
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Nietrafność epistemiczna -- co dalej?
Konkurs: OPUS 24 , panel: HS1
Kierownik: dr hab. Leszek Wroński
Uniwersytet Jagielloński, Wydział Filozoficzny
Side Conditions and the Saturation of the Non-stationary Ideal
Konkurs: POLONEZ BIS 3 , panel: ST1
Kierownik: dr Rahman Mohammadpour
Instytut Matematyczny Polskiej Akademii Nauk
Reprezentacje semantyk algebraicznych dla logik podstrukturalnych
Konkurs: OPUS 24 (LAP) , panel: HS1
Kierownik: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 24 , panel: HS1
Kierownik: dr hab. Monika Michałowska
Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu
Skończenie stanowe obliczenia wielomianowe
Konkurs: MAESTRO 14 , panel: ST6
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Logiczne i epistemologiczne kryteria istotności w podstawach matematyki
Konkurs: SONATA BIS 12 , panel: HS1
Kierownik: dr Mateusz Łełyk
Uniwersytet Warszawski, Wydział Filozofii
Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Arkadiusz Wójcik
Uniwersytet w Białymstoku, Instytut Filozofii
Badanie użycia pojęcia "komunikacja" w biologii i naukach o poznaniu
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Wiktor Rorot
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Równoważność w logikach podstrukturalnych
Konkurs: OPUS 23 , panel: HS1
Kierownik: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.
Konkurs: OPUS 23 , panel: ST6
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Stan kwantowy: informacja, wolny wybór, losowość
Konkurs: OPUS 23 , panel: HS1
Kierownik: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Rozwój protokołu komunikacyjnego z użyciem strukturyzowanych wiązek świetlnych
Konkurs: OPUS 23 , panel: ST7
Kierownik: dr Mateusz Szatkowski
Politechnika Wrocławska
Argumentacje transcendentalne. Modele i zastosowania
Konkurs: PRELUDIUM 21 , panel: HS1
Kierownik: Stanisław Jędrczak
Uniwersytet Warszawski, Wydział Filozofii
Pluralizm przesłanek w filozofii ekonomii
Konkurs: OPUS 23 , panel: HS1
Kierownik: dr Mariusz Maziarz
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: SONATINA 6 , panel: HS1
Kierownik: dr Krystian Bogucki
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe i aksjomatyzacja
Konkurs: OPUS 22 , panel: HS1
Kierownik: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Logika ciągła i jej algebraiczne zastosowania
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Aleksander Iwanow
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Artefakty poznawcze w różnych skalach czasowych: Podejście integracyjne
Konkurs: OPUS 22 , panel: HS1
Kierownik: dr hab. Mateusz Hohol
Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych
(Anti)Classification and invariants in dynamics
Konkurs: POLONEZ BIS 1 , panel: ST1
Kierownik: dr Philipp Kunde
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Arytmetyka i geometria ciał z operatorami
Konkurs: OPUS 22 , panel: ST1
Kierownik: prof. Piotr Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Values, Trust, and Decision Making in Public Health
Konkurs: POLONEZ BIS 1 , panel: HS1
Kierownik: dr Elena Popa
Uniwersytet Jagielloński, Wydział Filozoficzny
Kategorie jakościowości i indywidualności w logice, ontologii i fizyce
Konkurs: OPUS 22 , panel: HS1
Kierownik: prof. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Elżbieta Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Ontologia ekstensjonalna i logika filozoficzna
Konkurs: OPUS 2 , panel: HS1
Kierownik: dr hab. Andrzej Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
W stronę charakterystyki instytucji prawnych w kategoriach modeli
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Wojciech Graboń
Uniwersytet Warszawski, Wydział Prawa i Administracji
Henri Bergson a szczególna teoria względności
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Anna Kuszmiruk
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Antonina Jamrozik
Uniwersytet Warszawski, Wydział Filozofii
Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej
Konkurs: PRELUDIUM 20 , panel: ST1
Kierownik: Damian Głodkowski
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 21 , panel: HS1
Kierownik: dr Paula Quinon
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Rekonceptualizacja probabilizmu w kontekstach prawnych
Konkurs: OPUS 21 , panel: HS1
Kierownik: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu
Konkurs: SONATA 16 , panel: HS1
Kierownik: dr Marcin Trepczyński
Uniwersytet Warszawski, Wydział Filozofii
Procedury decyzyjne w weryfikacji
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki