- Tytuł:
- Quasi-implication algebras
- Autorzy:
-
Chajda, Ivan
Dušek, Kamil - Powiązania:
- https://bibliotekanauki.pl/articles/729013.pdf
- Data publikacji:
- 2002
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
implication
non-involutory negation
quasi-implication algebra
implitcation algebra
pseudocomplemented semilattice
q-semilattice - Opis:
- 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.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 183-198
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł