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_001: Logika i podstawy matematyki
- HS1_004: Logika, metodologia nauk, filozofia nauki
- HS1_002: 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. kujawsko-pomorskie
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: 2026-07-06
Planowany czas trwania projektu: 60 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 (9)
- 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
- 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
- Conditional algebrasAutorzy:Sergio Celani, Rafał Gruszczyński, Paula MenchónCzasopismo:Annals of Pure and Applied Logic (rok: 2025, tom: 176, strony: 45688), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.apal.2025.103556 - link do publikacji
- The Sum Relation as a Primitive Concept of Mere- ology.Autorzy:Rafał Gruszczyński, Dazhu LiCzasopismo:Studia Logica (rok: 2024, tom: first online, strony: 45674), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11225-024-10122-4 - link do publikacji
- Grzegorczyk and Whitehead Points: The Story ContinuesAutorzy:Rafał Gruszczyński, Santiago J. MartinezCzasopismo:Journal of Philosophical Logic (rok: 2024, tom: 53, strony: 695–719), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s10992-024-09747-6 - 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
- 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
- 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
- Subresiduated Nelson algebrasAutorzy:Noemí Lubomirsky, Paula Menchón, Hernán San MartínCzasopismo:Fuzzy Sets and Systems (rok: 2025, tom: 498, strony: 45673), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.fss.2024.109170 - link do publikacji