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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burrieza, A., Ojeda-Aciego, M., Orłowska, E.: Relational Approach to Order-of-Magnitude Reasoning. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds.) TARSKI 2006. LNCS, vol. 4342, pp. 105–124. Springer, Heidelberg (2006)
Dallien, J., MacCaull, W.: RelDT: A relational dual tableaux automated theorem prover, (preprint, 2005)
Demri, S., Orłowska, E.: Towards reasoning about Hoare relations. Annals of Mathematics and Artificial Intelligence 12, 265–289 (1994)
Demri, S., Orłowska, E.: Logical analysis of demonic nondeterministic programs. Theoretical Computer Science 202, 173–202 (1996)
Formisano, A., Omodeo, E., Orłowska, E.: A PROLOG tool for relational translation of modal logics: A front-end for relational proof systems. In: Beckert, B. (ed) TABLEAUX 2005, Position Papers and Tutorial Descriptions, Universität Koblenz-Landau, Fachberichte Informatik No 12, pp. 1–10 (2005)
Formisano, A., Nicolosi Asmundo, M.: An efficient relational deductive system for propositional non-classical logics. Journal of Applied Non-Classical Logics (to appear, 2006)
Formisano, A., Omodeo, E.G., Orłowska, E.: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds.) TARSKI 2006. LNCS, vol. 4342, pp. 89–104. Springer, Heidelberg (2006)
Frias, M., Orłowska, E.: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Logique et Analyse, 150-151-152, 239-284 (1995)
Golińska-Pilarek, J., Orłowska, E.: Tableaux and dual Tableaux: Transformation of proofs. In: Studia Logica (to appear, 2006)
Konikowska, B., Morgan, C., Orłowska, E.: A relational formalisation of arbitrary finite-valued logics. Logic Journal of IGPL 6(5), 755–774 (1998)
MacCaull, W.: Relational proof theory for linear and other substructural logics. Logic Journal of IGPL 5, 673–697 (1997)
MacCaull, W.: Relational tableaux for tree models, language models and information networks. In: Orłowska, E. (ed.) Logic at Work. Essays dedicated to the memory of Helena Rasiowa. Springer, Heidelberg (1998a)
MacCaull, W.: Relational semantics and a relational proof system for full Lambek Calculus. Journal of Symbolic Logic 63(2), 623–637 (1998b)
MacCaull, W., Orłowska, E.: Correspondence results for relational proof systems with applications to the Lambek calculus. Studia Logica 71, 279–304 (2002)
Orłowska, E.: Relational interpretation of modal logics. In: Andreka, H., Monk, D., Nemeti, I. (eds.) Algebraic Logic, Colloquia Mathematica Societatis Janos Bolyai, vol. 54, pp. 443–471. North Holland, Amsterdam (1988)
Orłowska, E.: Relational proof systems for relevant logics. Journal of Symbolic Logic 57, 1425–1440 (1992)
Orłowska, E.: Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logic 3, 147–171 (1993)
Orłowska, E.: Relational semantics for non-classical logics: Formulas are relations. In: Woleński, J. (ed.) Philosophical Logic in Poland, pp. 167–186. Kluwer, Dordrecht (1994)
Orłowska, E.: Temporal logics in a relational framework. In: Bolc, L., Szałas, A. (eds.) Time and Logic-a Computational Approach, pp. 249–277. University College London Press (1995)
Orłowska, E.: Relational proof systems for modal logics. In: Wansing, H. (ed.) Proof Theory of Modal Logics, pp. 55–77. Kluwer, Dordrecht (1996)
Orłowska, E.: Relational formalisation of non-classical logics. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, pp. 90–105. Springer, Wien/New York (1997)
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw (1963)
Schmidt, G., Ströhlein, T.: Relations and graphs. In: EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg
Tarski, A.: On the calculus of relations. The Journal of Symbolic Logic 6, 73–89 (1941)
Tarski, A., Givant, S.R.: A Formalization of Set Theory without Variables. vol. 41. Colloquium Publications, American Mathematical Society (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/11964810_7
Download citation
DOI: https://doi.org/10.1007/11964810_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69223-2
Online ISBN: 978-3-540-69224-9
eBook Packages: Computer ScienceComputer Science (R0)