Relational Formalisation of Nonclassical Logics
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.
KeywordsProgram Logic Modal Logic Relational Semantic Relational Formalisation Proof System
Unable to display preview. Download preview PDF.