AI Chat AI Image Generator AI Video Text to Speech

Representation theorems for extended contact algebras based on equivalence relations

01/29/2019

∙

by Philippe Balbiani, et al.

∙

∙

The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations.

Philippe Balbiani
10 publications
Tatyana Ivanova
1 publication

page 1

page 2

page 3

page 4

research

∙ 08/30/2022

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions

We aim to reason about the correctness of behaviour-preserving transform...

0 Dániel Horpácsi, et al. ∙

research

∙ 09/28/2020

Fixed Points Theorems for Non-Transitive Relations

In this paper, we develop an Isabelle/HOL library of order-theoretic fix...

0 Jérémy Dubut, et al. ∙

research

∙ 07/12/2022

Hennessy-Milner Theorems via Galois Connections

We introduce a general and compositional, yet simple, framework that all...

0 Harsh Beohar, et al. ∙

research

∙ 06/01/2023

Representation Theorems Obtained by Miningacross Web Sources for Hints

A representation theorem relates different mathematical structures by pr...

0 Marco B. Caminati, et al. ∙

research

∙ 09/06/2019

Incompleteness Ex Machina

In this essay we'll prove Gödel's incompleteness theorems twice. First, ...

0 Sebastian Oberhoff, et al. ∙

research

∙ 06/18/2023

Isabelle Formalisation of Original Representation Theorems

In a recent paper, new theorems linking apparently unrelated mathematica...

0 Marco B. Caminati, et al. ∙

research

∙ 07/29/2020

Equivalence theorems for compound design problems with application in mixed models

In the present paper we consider design criteria which depend on several...

0 Maryna Prus, et al. ∙