Advertisement

Relational Formalisation of Nonclassical Logics

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

Abstract

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.

Keywords

Program Logic Modal Logic Relational Semantic Relational Formalisation Proof System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

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