- Tytuł:
- Categorical abstract algebraic logic : Wójcicki's conjecture and Malinowski's theorem
- Autorzy:
- Voutsadakis, G.
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Tematy:
-
sentential logics
logical matrices
implicative logics
Suszko congruence
π-Institutions
Wójcicki's conjecture
Malinowski's theorem - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł