Equational Reasoning in Non-Classical Logics
Marcelo Fabian Frias, Ewa S. Orłowska · Journal of Applied Non-Classical Logics · 1998
In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras.