Zobrazeno 1 - 2
of 2
pro vyhledávání: '"functors of Lindenbaum-Tarski"'
Autor:
J. Soliveres Tur, J. Climent Vidal
Publikováno v:
Notre Dame J. Formal Logic 49, no. 2 (2008), 185-202
We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f0f481e056ff5453013043da5b2cacf
https://doi.org/10.1215/00294527-2008-007
https://doi.org/10.1215/00294527-2008-007
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.