Distributive implication groupoids
Ivan Chajda, Radomir Halaš (2007)
Open Mathematics
Similarity:
We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive.