scientific article; zbMATH DE number 1086631

MaRDI QIDQ4362880zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 13 November 1997

zbMATH Keywords

algebras of relationsformalisation of nonclassical logicsproof systemsrelational logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• 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

Cited in

(14)

• 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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362880)