PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2002 | 22 | 2 | 183-198
Tytuł artykułu

Quasi-implication algebras

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Twórcy
autor
  • Department of Algebra and Geometry, Palacký University of Olomouc, Tomkova 40, CZ-77900 Olomouc, Czech Republic
autor
  • Department of Algebra and Geometry, Palacký University of Olomouc, Tomkova 40, CZ-77900 Olomouc, Czech Republic
Bibliografia
  • [1] J.C. Abbott, Semi-boolean algebras, Mat. Vesnik 4 (1967), 177-198.
  • [2] R. Balbes, On free pseudo-complemented and relatively pseudo-complemented semi-lattices, Fund. Math. 78 (1973), 119-131.
  • [3] I. Chajda, Semi-implication algebra, Tatra Mt. Math. Publ. 5 (1995), 13-24.
  • [4] I. Chajda, An extension of relative pseudocomplementation to non-distributive lattices, Acta Sci. Math. (Szeged), to appear.
  • [5] A. Diego, Sur les algèbres de Hilbert, Gauthier-Villars, Paris 1966, (viii+55pp.).
  • [6] O. Frink, Pseudo-complements in semi-lattices, Duke Math. J. 29 (1962), 505-514.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_7151_dmgaa_1057
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.