Geodesic
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
Bulletin of the Section of Logic, Tome 45 (2016) no. 2

Voir la notice de l'article provenant de la source Library of Science

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.
Keywords: Behavioral Equivalence, Hidden Logic, Multi-Sorted Logic, Multi-term π-Institutions, Interpretability, Deductive Equivalence 
@article{BSL_2016_45_2_a2,
     author = {Voutsadakis, George},
     title = {Categorical {Abstract} {Logic:} {Hidden} {Multi-Sorted} {Logics} as {Multi-Term} {\ensuremath{\pi}-Institutions}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {45},
     number = {2},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a2/}
}
TY  - JOUR
AU  - Voutsadakis, George
TI  - Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
JO  - Bulletin of the Section of Logic
PY  - 2016
VL  - 45
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a2/
LA  - en
ID  - BSL_2016_45_2_a2
ER  - 
%0 Journal Article
%A Voutsadakis, George
%T Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a2/
%G en
%F BSL_2016_45_2_a2
Voutsadakis, George. Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions. Bulletin of the Section of Logic, Tome 45 (2016) no. 2. http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a2/