The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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.