Projekty finansowane przez NCN
Logiki pozycyjne - metateoria i zastosowania
2012/05/E/HS1/03542
Słowa kluczowe:
logiki pozycyjne operator realizacji metateoria operator R semantyka. zastosowania
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- ST1_1: Logika i podstawy matematyki
- 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:
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
woj. lubelskie
Konkurs: SONATA BIS 1 - ogłoszony 2012-03-15
Przyznana kwota: 103 400 PLN
Rozpoczęcie projektu: 2013-01-29
Zakończenie projektu: 2016-01-28
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (3)
- Publikacje książkowe (1)
- Maximality of Minimal R-CalculusAutorzy:Anna Maria KarczewskaCzasopismo:Logic and Logical Philosophy (rok: 2018, tom: 27, strony: 193-203), Wydawca: UMKStatus:OpublikowanaDoi:10.12775/LLP.2017.008 - link do publikacji
- Jerzy Łoś Positional Calculus and the Origin of Temporal LogicAutorzy:Marcin Tkaczyk, Tomasz JarmużekCzasopismo:Logic and Logical Philosophy (rok: 2018, tom: online 23.09, strony: 45308), Wydawca: UMKStatus:OpublikowanaDoi:10.12775/LLP.2018.013 - link do publikacji
- Distributive Laws in Weak Positional LogicsAutorzy:Marcin TkaczykCzasopismo:Roczniki Filozoficzne (rok: 2018, tom: 66, strony: 163-179), Wydawca: TNKULStatus:OpublikowanaDoi:10.18290/rf.2018.66.3-8 - link do publikacji
- -Autorzy:Tomasz Jarmużek, Marcin TkaczykKsiążka:Normalne logiki pozycyjne (rok: 2015, tom: -, strony: -), Wydawca: Wydawnictwo KULStatus:Opublikowana