Congruence semimodularity of conservative groupoids
Ivan Chajda (1996)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Ivan Chajda (1996)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Jung R. Cho, Jaroslav Ježek, Tomáš Kepka (1999)
Czechoslovak Mathematical Journal
Similarity:
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.
S., Ramanujan (1921)
Mathematische Zeitschrift
Similarity:
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.
Emo Welzl, H. Alt, Kurt Mehlhorn, Hubert Wagener (1988)
Discrete & computational geometry
Similarity: