Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Metateoria systemów tablicowych

2015/19/B/HS1/02478

Słowa kluczowe:

formalizacja gałąź inferencja metateoria metatwierdzenie pełność system tablica uogólnienie wynikanie zgodność

Deskryptory:

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

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):

dr hab. Tomasz Jarmużek 

Liczba wykonawców projektu: 2

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

Przyznana kwota: 79 200 PLN

Rozpoczęcie projektu: 2016-07-04

Zakończenie projektu: 2019-07-03

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 (9)
  • Publikacje książkowe (2)
  1. Boolean Connexive Logics: Semantics and tableau approach
    Autorzy:
    Tomasz Jarmużek, Jacek Malinowski
    Czasopismo:
    Logic and Logical Philosopy (rok: 2019, tom: 28, strony: 427–448), Wydawca: Nicolaus Copernicus University in Toruń
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2019.003 - link do publikacji
  2. Modal Boolean Connexive Logics Semantics and tableau approach
    Autorzy:
    Tomasz Jarmużek, Jacek Malinowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2019, tom: Vol. 48 No. 3, strony: 213-243), Wydawca: University of Lodz
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.48.3.05 - link do publikacji
  3. Knowability as de re modality. A certain solution to Fitch Paradox
    Autorzy:
    Tomasz Jarmuzek, Krzysztof Krawczyk, Rafał Palczewski
    Czasopismo:
    Roczniki Filozoficzne (rok: 2020, tom: 4, strony: ), Wydawca: Towarzystwo Naukowe KUL
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  4. Bayesian propositional logic
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2017, tom: 46/3-4, strony: 151-168), Wydawca: University of Lodz
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.46.3.4.01 - link do publikacji
  5. On logic of strictly-deontic modalities. A semantic and tableau approach
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski
    Czasopismo:
    Logic and Logical Philosopy (rok: 2020, tom: Volume 29, strony: 335–380), Wydawca: Nicolaus Copernicus University in Toruń
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2020.010 - link do publikacji
  6. Formal theory of tableau systems for propositional logics
    Autorzy:
    Tomasz Jarmużek
    Czasopismo:
    Studia Logica , Wydawca: PAN/Springer Verlag
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  7. On some language extension of logic MR. A semantic and tableau approach
    Autorzy:
    Tomasz Jarmużek, Aleksander Parol
    Czasopismo:
    Roczniki Filozoficzne (rok: 2020, tom: 4, strony: ), Wydawca: Towarzystwo Naukowe KUL
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  8. Defining cognitive logics by non-classical tableau rules
    Autorzy:
    Tomasz Jarmużek
    Czasopismo:
    STUDIES IN LOGIC, GRAMMAR AND RHETORIC (rok: 2016, tom: 48 (61), strony: 151-170), Wydawca: De Gruyter Open
    Status:
    Opublikowana
    Doi:
    10.1515/slgr-2016-0060 - link do publikacji
  9. Pure Modal Logic of Names and Tableau Systems
    Autorzy:
    Andrzej Pietruszczak, Tomasz Jarmużek
    Czasopismo:
    Studia Logica (rok: 2018, tom: 106/6, strony: 1261-1289), Wydawca: PAN/Springer Verlag
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-018-9788-6 - link do publikacji
  1. Tableau systems for some relating logics
    Autorzy:
    Tomasz Jarmużek, Mateusz Klonowski
    Książka:
    Logic in High Definition. Current issues on Logical Semantics (rok: 2021, tom: bd, strony: bd), Wydawca: Springer Verlag
    Status:
    Przyjęta do publikacji
  2. Tableau metatheory for syllogistic logics
    Autorzy:
    Tomasz Jarmużek, Rajeev Goré
    Książka:
    Landscapes in Logic (rok: 2021, ), Wydawca: College Publications
    Status:
    Złożona

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy