Relational Formalisation of Nonclassical Logics

  • Ewa Orlowska
Part of the Advances in Computing Sciences book series (ACS)


The purpose of this chapter is to present and motivate the application of algebras of relations to the formalisation of nonclassical logics. It is shown that a suitably defined relational logic can serve as a general framework for developing nonclassical means of reasoning that are needed in many application areas.


Program Logic Modal Logic Relational Semantic Relational Formalisation Proof System 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Wien 1997

Authors and Affiliations

  • Ewa Orlowska

There are no affiliations available

Personalised recommendations