Displaying similar documents to “Congruence semimodularity of conservative groupoids”

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.

Termal groupoids

Jaroslav Ježek (2002)

Czechoslovak Mathematical Journal

Similarity:

We investigate the factor of the groupoid of terms through the largest congruence with a given set among its blocks. The set is supposed to be closed for overterms.