Relational Logics and Their Applications

  • Joanna Golińska-Pilarek
  • Ewa Orłowska
Conference paper

DOI: 10.1007/11964810_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4342)
Cite this paper as:
Golińska-Pilarek J., Orłowska E. (2006) Relational Logics and Their Applications. In: de Swart H., Orłowska E., Schmidt G., Roubens M. (eds) Theory and Applications of Relational Structures as Knowledge Instruments II. Lecture Notes in Computer Science, vol 4342. Springer, Berlin, Heidelberg

Abstract

Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Joanna Golińska-Pilarek
    • 1
  • Ewa Orłowska
    • 1
  1. 1.National Institute of TelecommunicationsWarsawPoland

Personalised recommendations