Metateoria systemów tablicowych
2015/19/B/HS1/02478
Słowa kluczowe
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
Kierownik projektu (z jednostki realizującej)
dr hab. Tomasz Dariusz 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 (8)
-
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
-
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
-
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
-
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
-
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
-
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
-
On some language extension of logic MR. A semantic and tableau approach
- Autorzy:
- Tomasz Jarmużek, Aleksander Parol
- Status:
- Przyjęta do publikacji
-
Knowability as de re modality. A certain solution to Fitch Paradox
- Autorzy:
- Tomasz Jarmuzek, Krzysztof Krawczyk, Rafał Palczewski
- Status:
- Przyjęta do publikacji
Publikacje książkowe (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