- Tytuł:
- Logic families
- Autorzy:
-
Gyenis, Zalán
Sain, Ildikó
Andréka, Hajnal
Németi, István - Data publikacji:
- 2024
- Słowa kluczowe:
-
general logics
Lindenbaum-Tarski formula algebra
abstract model theory
universal algebraic logic
tautological congruence
free product of algebras
institutions
logics
conditionally free algebra
abstract algebraic logic - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego