Location of Repository

Relational Validity & Dynamic Predicate Logic

By A. Visser

Abstract

In this paper we prove that the principles in the language with relation composition and dynamic\ud implication, valid for all binary relations, are the same ones as the principles valid when we restrict\ud ourselves to DPL-relations, i.e., relations generated from conditions (tests) and resettings

Topics: Wijsbegeerte
Year: 1995
OAI identifier: oai:dspace.library.uu.nl:1874/26678
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.