Relational Logics and Their Applications
- 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
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.
Unable to display preview. Download preview PDF.