- Tytuł:
- An injective pseudo-BCI algebra is trivial
- Autorzy:
- Dymek, Grzegorz Autor
- Współwytwórcy:
- Instytut Matematyki i Informatyki (Katolicki Uniwersytet Lubelski Jana Pawła II)
- Tematy:
-
Algebry BCI i BCK
Logika algebraiczna
Teoria kategorii
Morfizm - Pokaż więcej
- Data publikacji:
- 2019
- Dostawca treści:
- Academica
Artykuł