PP-2001-04: Marx, Maarten (2001) Relation Algebra with Binders. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2001-04.text.ps.gz Download (76kB) |
|
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 |
