Equational Reasoning in Non--Classical Logics

Marcelo F. Frias, Ewa Orlowska. Equational Reasoning in Non--Classical Logics. Journal of Applied Non-Classical Logics, 8(1-2):27-66, 1998.

Abstract

Abstract is missing.