Kovács, István, Száz, Árpád (2001)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Ranzato, F. (2001)
Portugaliae Mathematica. Nova Série
Similarity:
Ivan Chajda, Kamil Dušek (2002)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.
Ghosh, M.K., Debnath, Lokenath (1995)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Maiti, M., Saha, B. (1993)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Shang Zhi Wang, Bo Yu Li (1985)
Publications du Département de mathématiques (Lyon)
Similarity:
Ladislav Mišík (1965)
Czechoslovak Mathematical Journal
Similarity:
Árpád Száz (2011)
Publications de l'Institut Mathématique
Similarity:
Ivan Chajda, Helmut Länger (2018)
Mathematica Bohemica
Similarity:
We extend the notion of a relatively pseudocomplemented meet-semilattice to arbitrary posets. We show some properties of the binary operation of relative pseudocomplementation and provide some corresponding characterizations. We show that relatively pseudocomplemented posets satisfying a certain simple identity in two variables are join-semilattices. Finally, we show that every relatively pseudocomplemented poset is distributive and that the converse holds for posets satisfying the ascending...