PP-2001-04: Relation Algebra with Binders

PP-2001-04: Marx, Maarten (2001) Relation Algebra with Binders. [Report]

[img] Text (Full Text)
PP-2001-04.text.ps.gz

Download (76kB)
[img] Text (Abstract)
PP-2001-04.abstract.txt

Download (724B)

Abstract

The language of relation algebras is expanded with variables denoting individual elements in the domain and with the downarrow binder from hybrid logic. Every elementary property of binary relations is expressible in the resulting language, something which fails for the relation algebraic language. That the new language is natural for speaking about binary relations is indicated by the fact that both Craig's Interpolation, and Beth's Definability theorem hold for its set of validities. The paper contains a number of worked out examples. Keyword(s): Binary relations, relation algebras, modal logic, hybrid logic, fork algebras, interpolation, Beth definabili

Item Type: Report
Report Nr: PP-2001-04
Series Name: Prepublication (PP) Series
Year: 2001
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/46

Actions (login required)

View Item View Item