- Tytuł:
- Axiomatization of a Basic Logic of Logical Bilattices
- Autorzy:
- Takano, Mitio
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
logical bilattice
sequent calculus - Dostawca treści:
- Biblioteka Nauki
Artykuł