- Tytuł:
- Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
- Autorzy:
- Voutsadakis, George
- Powiązania:
- https://bibliotekanauki.pl/articles/749924.pdf
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Behavioral Equivalence
Hidden Logic
Multi-Sorted Logic
Multi-term π-Institutions
Interpretability
Deductive Equivalence - Opis:
- Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the π-institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-F´erez. This provides a proof of the result of Babenyshev and Martins by appealing to the general result of Gil-F´erez pertaining to arbitrary multi-term π-institutions. The approach places hidden multi-sorted deductive systems in a more general framework and bypasses the laborious reuse of well-known proof techniques from traditional abstract algebraic logic by using “off the shelf” tools.
- Źródło:
-
Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł