Abstract
We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation ∼R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R . These two operators comprise precisely the propositional part of DPL. This paper contains a finite equational axiomatization for these ’dynamic relation algebras‘. The completeness result uses techniques from modal logic. We also look at the variety generated by the class of dynamic relation algebras and note that there exist nonrepresentable algebras in this variety, ones which cannot be construed as spaces of relations. These results are also proved for an extension to a signature containing atomic tests and union.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
