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, 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 (4)
  1. From contact relations to modal operators, and back
    Authors:
    Rafał Gruszczyński, Maria Paula Menchon
    Academic press:
    Studia Logica , Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-023-10036-7 - link to the publication
  2. On the enumeration of finite L-algebras
    Authors:
    C. Dietzel, P. Menchon, L. Vendramin
    Academic press:
    Mathematics of Computation (), Wydawca: American Mathematical Society
    Status:
    Published
    DOI:
    10.1090/mcom/3814 - link to the publication
  3. 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 , Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    10.48550/arXiv.2103.14446 - link to the publication
  4. Betweenness Algebras
    Authors:
    Ivo Düntsch, Rafał Gruszczyński, Paula Menchón
    Academic press:
    Journal of Symbolic Logic , Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2023.86 - link to the publication