Equational Reasoning in Non-Classical Logics

FRIAS, MARCELO FABIAN; ORLOWSKA, EWA

JOURNAL OF APPLIED NON-CLASSICAL LOGICS

Hermes

Año: 1998 vol. 8 p. 27 - 66

1166-3081

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 interpretability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate nonclassical means of reasoning with equational theories of fork algebras.