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. The main advantages of the relational formalisation are uniformity and modularity. The relational logic is a rich formalism that enables us to represent a great variety of nonclassical logical systems. As a consequence, instead of implementing proof systems for each of the logics separately and from scratch, we can create a uniform relational framework in which proof systems for nonclassical logics can be developed in a modular manner. The essential observation leading to the relational formalisation is that the standard algebras of relations -- being joins of a Boolean algebra and a monoid -- constitute, in a sense, a common core of a great variety of nonclassical logics. For the entire collection see [Zbl 0871.00027].
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Relational Logics and Their Applications
- An efficient relational deductive system for propositional non-classical logics
- An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
- Equational Reasoning in Non-Classical Logics
- Relations and non-commutative linear logic
- Encoding two-valued nonclassical logics in classical logic
- Conditions for the applicability of classical logic in the framework of languages of nonclassical logics
- scientific article; zbMATH DE number 3874666 (Why is no real title available?)
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- An efficient relational deductive system for propositional non-classical logics
- Equational Reasoning in Non-Classical Logics
- scientific article; zbMATH DE number 1554267 (Why is no real title available?)
- scientific article; zbMATH DE number 1778912 (Why is no real title available?)
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
- Bibliography of Ewa Orłowska
- Interpretability of first-order linear temporal logics in fork algebras
- Tableaux and dual tableaux: transformation of proofs
This page was built for publication: Relational formalisation of nonclassical logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362880)
