Logics for Contact and Measure - Logique, Interaction, Langue et Calcul Access content directly
Preprints, Working Papers, ... Year : 2024

Logics for Contact and Measure


We enrich contact algebras with a new binary relation that compares the size of regions, and provide axiom systems for various logics of contact and measure. Our contribution is three-fold: (1) we characterize the relations on a Boolean algebra that derive from a measure, thereby improving an old result of Kraft, Pratt and Seidenberg; (2) for all n≥1, we axiomatize the logic of regular closed sets of R^n with null boundary; (3) considering a broad class of equational theories that contains all logics of contact, we prove that they all have unary or finitary unification, and that unification and admissibility are decidable.
Fichier principal
Vignette du fichier
main.pdf (713.21 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04544145 , version 1 (12-04-2024)
hal-04544145 , version 2 (16-04-2024)


  • HAL Id : hal-04544145 , version 2


Philippe Balbiani, Quentin Gougeon, Tinko Tinchev. Logics for Contact and Measure. 2024. ⟨hal-04544145v2⟩
155 View
89 Download


Gmail Mastodon Facebook X LinkedIn More