Projekty finansowane przez NCN
Logiczno-filozoficzne podstawy geometrii i topologii
2020/39/B/HS1/00216
Słowa kluczowe:
logika logika geometrii podstawy geometrii podstawy topologii geometria bezpunktowa topologia bezpunktowa algebry Boole'a z relacją połączenia logika modalna mereologia filozofia geometrii filozofia topologii
Deskryptory:
- ST1_1: Logika i podstawy matematyki
- HS1_4: Logika, metodologia nauk, filozofia nauki
- 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 w Toruniu, Wydział Filozofii i Nauk Społecznych
woj.
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 2
Konkurs: OPUS 20 - ogłoszony 2020-09-15
Przyznana kwota: 904 264 PLN
Rozpoczęcie projektu: 2021-07-01
Zakończenie projektu: 2025-07-06
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
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 (6)
- From contact relations to modal operators, and backAutorzy:Rafał Gruszczyński, Maria Paula MenchonCzasopismo:Studia Logica (rok: 2023, ), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11225-023-10036-7 - link do publikacji
- On the enumeration of finite L-algebrasAutorzy:C. Dietzel, P. Menchon, L. VendraminCzasopismo:Mathematics of Computation (rok: 2022, tom: 92, strony: 1363-1381), Wydawca: American Mathematical SocietyStatus:OpublikowanaDoi:10.1090/mcom/3814 - link do publikacji
- Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead PointsAutorzy:Rafał GruszczyńskiCzasopismo:Bulletin of the Section of Logic (rok: 2023, ), Wydawca: Wydawnictwo Uniwersytetu ŁódzkiegoStatus:OpublikowanaDoi:10.48550/arXiv.2103.14446 - link do publikacji
- Betweenness AlgebrasAutorzy:Ivo Düntsch, Rafał Gruszczyński, Paula MenchónCzasopismo:Journal of Symbolic Logic (rok: 2023, ), Wydawca: Cambridge University PressStatus:OpublikowanaDoi:10.1017/jsl.2023.86 - link do publikacji
- On the enumeration of finite L-algebrasAutorzy:C. Dietzel, P. Menchon, L. VendraminCzasopismo:Mathematics of Computation (rok: 2022, tom: 92, strony: 1363-1381), Wydawca: American Mathematical SocietyStatus:OpublikowanaDoi:10.1090/mcom/3814 - link do publikacji
- From contact relations to modal operators, and backAutorzy:Rafał Gruszczyński, Maria Paula MenchonCzasopismo:Studia Logica (rok: 2023, ), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11225-023-10036-7 - link do publikacji