Finite Representation Property for Relation Algebra Reducts

11/01/2021
by   Jaš Šemrl, et al.
0

The decision problem of membership in the Representation Class of Relation Algebras (RRA) for finite structures is undecidable. However, this does not hold for many Relation Algebra reduct languages. Two well known properties that are sufficient for decidability are the Finite Axiomatisability (FA) of the representation class and the Finite Representation Property (FRP). Furthermore, neither of the properties is stronger that the other, and thus, neither is also a necessary condition. Although many results are known in the area of FA, the FRP remains unknown for the majority of the reduct languages. Here we conjecture that the FRP fails for a Relation Algebra reduct if and only if it contains both composition and negation, or both composition and meet. We then show the right-to-left implication of the conjecture holds and present preliminary results that suggest the left-to-right implication.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/14/2021

Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition

Relation algebra and its reducts provide us with a strong tool for reaso...
research
09/11/2018

Limitations in learning an interpreted language with recurrent models

In this submission I report work in progress on learning simplified inte...
research
09/06/2020

On the construction of explosive relation algebras

Fork algebras are an extension of relation algebras obtained by extendin...
research
03/01/2020

Profinite congruences and unary algebras

Profinite congruences on profinite algebras determining profinite quotie...
research
02/10/2021

An Algebra of Properties of Binary Relations

We consider all 16 unary operations that, given a homogeneous binary rel...
research
04/25/2023

Network Satisfaction Problems Solved by k-Consistency

We show that the problem of deciding for a given finite relation algebra...
research
06/29/2016

Algebraic foundations for qualitative calculi and networks

A qualitative representation ϕ is like an ordinary representation of a r...

Please sign up or login with your details

Forgot password? Click here to reset