Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Deductive Equivalence"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
George Voutsadakis
Publikováno v:
Bulletin of the Section of Logic. 45
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 π-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5c54679035c1679d0d09b0b086a2694
https://doi.org/10.18778/0138-0680.45.2.04
https://doi.org/10.18778/0138-0680.45.2.04
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.