Zobrazeno 1 - 1
of 1
pro vyhledávání: '"$\ell$-congruence"'
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
