Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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

2015/19/N/HS1/02401

Słowa kluczowe:

funktory intensjonalne funktory wiążące logiki filozoficzne logiki nieklasyczne metoda tablicowa relacja wiązania system tablicowy

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • HS1_2: Ontologia i metafizyka, ontologie szczegółowe
  • HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

woj. kujawsko-pomorskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Mateusz Klonowski 

Liczba wykonawców projektu: 2

Konkurs: PRELUDIUM 10 - ogłoszony 2015-09-15

Przyznana kwota: 43 560 PLN

Rozpoczęcie projektu: 2016-07-11

Zakończenie projektu: 2019-07-10

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (8)
  • Publikacje książkowe (1)
  1. On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski
    Czasopismo:
    Logic and Logical Philosophy (rok: 2020, tom: 29(3), strony: 335-380), Wydawca: Uniwersytet Mikołaja Kopernika
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2020.010 - link do publikacji
  2. Tableau Systems for Epistemic Positional Logics
    Autorzy:
    Mateusz Klonowski, Krzysztof Krawczyk, Bożena Pięta
    Czasopismo:
    Bulletin of the Section of Logic , Wydawca: Lódź University Press
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  3. A Post-style proof of completeness theorem for Symmetric Relatedness Logic S
    Autorzy:
    Mateusz Klonowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2018, tom: 47/3, strony: 201-214), Wydawca: Wydawnictwo UŁ
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.47.3.05 - link do publikacji
  4. Axiomatization of Some Basic and Modal Boolean-Connexive Logics
    Autorzy:
    Mateusz Klonowski
    Czasopismo:
    Notre Dame Journal of Formal Logic , Wydawca: Duke University Press
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  5. Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania
    Autorzy:
    Mateusz Klonowski, Krzysztof Krawczyk
    Czasopismo:
    Filozofia Nauki (rok: 2019, tom: 27(1), strony: 27-48), Wydawca: Uniwersytet Warszawski
    Status:
    Opublikowana
    Doi:
    10.14394/filnau.2019.0002 - link do publikacji
  6. Axiomatization of Some Relating Logics Determined by Definable Relations
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski
    Czasopismo:
    Studia Logica , Wydawca: Springer
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  7. Bayesian Propositional Logic
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski i Jacek Malinowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2017, tom: 46(3/4), strony: 151-168), Wydawca: Department of Logic, University of Łódź
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.46.3.4.01 - link do publikacji
  8. Simplified Kripke-style semantics for some normal modal logics
    Autorzy:
    Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav Petrukhin
    Czasopismo:
    Studia Logica (rok: 2020, tom: 108, strony: 451-476), Wydawca: Springer Netherlands
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-019-09849-2 - link do publikacji
  1. Some Intensional Logics Defined by Relating Semantics and Tableau Systems
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski
    Książka:
    Logic in High Definition. Trends in Logical Semantics (rok: 2020, tom: Trends in Logic, strony: ), Wydawca: Springer
    Status:
    Przyjęta do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy