Equational Reasoning in Non-Classical Logics

DOI10.1080/11663081.1998.10510932zbMath0918.03029OpenAlexW1971743535MaRDI QIDQ4236057

No author found.

Publication date: 15 July 1999

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1998.10510932

zbMATH Keywords

modal logicrelation algebrarelevant logicinterpretabilityfork algebrafork logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Interpretability of first-order linear temporal logics in fork algebras

Uses Software

• CalcCheck

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards reasoning about Hoare relations
• The representation of relational algebras
• Finitary Algebraic Logic
• Relational proof system for relevant logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• On the calculus of relations
• Boolean Algebras with Operators

This page was built for publication: Equational Reasoning in Non-Classical Logics