Przeglądaj Bulletin of the Section of Logic według tematu "Behavioral Equivalence"
Wyświetlanie pozycji 1-1 z 1
-
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)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 ...