Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Logico-philosophical foundations of geometry and topology

2020/39/B/HS1/00216

Keywords:

logic logic of geometry foundations of geometry foundations of topology point-free geometry point-free topology Boolean contact algebras modal logic mereology philosophy of geometry philosophy of topology

Descriptors:

  • ST1_001:
  • HS1_004:
  • HS1_002:

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

woj. kujawsko-pomorskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Rafał Gruszczyński 

Number of co-investigators in the project: 2

Call: OPUS 20 - announced on 2020-09-15

Amount awarded: 904 264 PLN

Project start date (Y-m-d): 2021-07-07

Project end date (Y-m-d): 2026-07-06

Project duration:: 60 months (the same as in the proposal)

Project status: Pending project

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (9)
  1. Betweenness Algebras
    Authors:
    Ivo Düntsch, Rafał Gruszczyński, Paula Menchón
    Academic press:
    Journal of Symbolic Logic (rok: 2023, ), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2023.86 - link to the publication
  2. From contact relations to modal operators, and back
    Authors:
    Rafał Gruszczyński, Maria Paula Menchon
    Academic press:
    Studia Logica (rok: 2023, ), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-023-10036-7 - link to the publication
  3. Conditional algebras
    Authors:
    Sergio Celani, Rafał Gruszczyński, Paula Menchón
    Academic press:
    Annals of Pure and Applied Logic (rok: 2025, tom: 176, strony: 45688), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2025.103556 - link to the publication
  4. The Sum Relation as a Primitive Concept of Mere- ology.
    Authors:
    Rafał Gruszczyński, Dazhu Li
    Academic press:
    Studia Logica (rok: 2024, tom: first online, strony: 45674), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-024-10122-4 - link to the publication
  5. Grzegorczyk and Whitehead Points: The Story Continues
    Authors:
    Rafał Gruszczyński, Santiago J. Martinez
    Academic press:
    Journal of Philosophical Logic (rok: 2024, tom: 53, strony: 695–719), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10992-024-09747-6 - link to the publication
  6. Betweenness Algebras
    Authors:
    Ivo Düntsch, Rafał Gruszczyński, Paula Menchón
    Academic press:
    Journal of Symbolic Logic (rok: 2023, ), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2023.86 - link to the publication
  7. Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points
    Authors:
    Rafał Gruszczyński
    Academic press:
    Bulletin of the Section of Logic (rok: 2023, ), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    10.48550/arXiv.2103.14446 - link to the publication
  8. On the enumeration of finite L-algebras
    Authors:
    C. Dietzel, P. Menchon, L. Vendramin
    Academic press:
    Mathematics of Computation (rok: 2022, tom: 92, strony: 1363-1381), Wydawca: American Mathematical Society
    Status:
    Published
    DOI:
    10.1090/mcom/3814 - link to the publication
  9. Subresiduated Nelson algebras
    Authors:
    Noemí Lubomirsky, Paula Menchón, Hernán San Martín
    Academic press:
    Fuzzy Sets and Systems (rok: 2025, tom: 498, strony: 45673), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.fss.2024.109170 - link to the publication