- Tytuł:
- Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
- Autorzy:
- Voutsadakis, George
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Behavioral Equivalence
Hidden Logic
Multi-Sorted Logic
Multi-term π-Institutions
Interpretability
Deductive Equivalence - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł