We show that a pre-logic which is a generalization of propositional intuitionistic logic becomes an implication algebra if and only if it satisfies the quasi-commutativity.
We show that a pre-logic which is a generalization of propositional intuitionistic logic becomes an implication algebra if and only if it satisfies the quasi-commutativity. (en)