On Nondefinability of Interior-Connectedness via the Contact Relation

Simple item page
dc.contributor.authorGruszczyński, Rafał
dc.contributor.authorMenchón, Paula
dc.date.accessioned2026-05-14T09:37:58Z
dc.date.issued2026
dc.description.abstractThis short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras.
dc.description.sponsorshipNCN 2020/39/B/HS1/00216
dc.identifier.citationNotre Dame J. Formal Logic 67(2), May 2026, pp. 291-303
dc.identifier.other10.1215/00294527-2026-0003
dc.identifier.urihttps://repozytorium.umk.pl/handle/item/7323
dc.language.isoeng
dc.publisherDuke University Press, University of Notre Dame
dc.relation.ispartofseries
dc.rightsAttribution 4.0 Internationalen
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectbinary relations
dc.subjectBoolean contact algebras
dc.subjectinternal connectedness
dc.subjectPadoa's method
dc.subjectspatial logic
dc.titleOn Nondefinability of Interior-Connectedness via the Contact Relation
dc.typeinfo:eu-repo/semantics/article

Files

Original bundle

Thumbnail Image
Name:
final-arXiv.pdf
Size:
405.25 KB
Format:
Adobe Portable Document Format
Download

License bundle

Thumbnail Image
Name:
license.txt
Size:
1.34 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Artykuły (WFiNS)