Search
Search Results
-
From Contact Relations to Modal Operators, and Back
One of the standard axioms for Boolean contact algebras says that if a region
x is in contact with the join ofy andz , thenx is in contact with at... -
Relational Representation Theorems for Extended Contact Algebras
In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A , B and D if the...
-
Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
The paper is in the field of region-based theory of space and time (RBTST). This is an extension of the region-based theory of space (RBTS) with... -
Computable Heyting Algebras with Distinguished Atoms and Coatoms
The paper studies Heyting algebras within the framework of computable structure theory. We prove that the class K containing all Heyting algebras...
-
Contact Join-semilattices
Contact algebra is one of the main tools in region-based theory of space. In ([
7 ,8 ,22 ,23 ]) it is generalized by drop** the operation Boolean... -
Subordination Algebras as Semantic Environment of Input/Output Logic
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on... -
Extended Contact Algebras and Internal Connectedness
The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional...
-
Valueless Measures on Pointless Spaces
On our ordinary representations of space, space is composed of indivisible, dimensionless points; extended regions are understood as infinite sets of...
-
Contact Logic is Finitary for Unification with Constants
Contact Logic is a formalism for reasoning about the relation of contact between regions. We introduce a new inference problem for Contact Logic, the... -
Grzegorczyk and Whitehead Points: The Story Continues
The paper is devoted to the analysis of two seminal definitions of points within the region-based framework: one by Whitehead (1929) and the other by...
-
My Final Comments to the Volume
I wish to thank all those who contributed to the publication of this volume. In the first place, I am indebted to Professor Jacek Malinowski, the... -
A Model Theory of Topology
An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area...
-
A Scientific Autobiography
This is a short autobiography consisting of personal recollections and experiences in my academic life. It starts from my student days, and covers... -
Comments on the Contributions
I am deeply grateful to everybody who has contributed to the volume, and wish to express my heartfelt thanks to my old friends and colleagues Ivo... -
Logical Journeys: A Scientific Autobiography
A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics,... -
Logic in India
This chapter aims at providing a broad overview of Indian logic pursued in the classical Indian philosophical systems as well as in contemporary... -
The introduction of topology into analytic philosophy: two movements and a coda
Both early analytic philosophy and the branch of mathematics now known as topology were gestated and born in the early part of the 20th century. It...
-
Section of Logic in Łódź 1982–1992
This article consists of an author reminiscence from years 1983–1992 concerning the Section of Logic, Institute of Philosophy and Sociology, Polish... -
Abstract Algebraic Logic
This chapter is a brief introduction to abstract algebraic logic. It is organized around the central notion of algebraizability, with particular... -
The Gauge Principle, Hermann Weyl, and Symbolic Construction from the “Purely Infinitesimal”
The gauge principle is a broad moniker about invariance properties of fundamental physical laws. It stipulates that every global symmetry of a...