Displaying similar documents to “Vague ideals of implication groupoids”

Ideals in selfdistributive groupoids

Tomáš Kepka (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Products of (left) ideals in selfdistributive groupoids are studied.

Selfdistributive groupoids of small orders

Jaroslav Ježek, Tomáš Kepka (1997)

Czechoslovak Mathematical Journal

Similarity:

After enumerating isomorphism types of at most five-element left distributive groupoids, we prove that a distributive groupoid with less than 81 elements is necessarily medial.

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.