Szukaj
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 ...