Zobrazeno 1 - 2
of 2
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
Autor:
Ono, Ken, Andrews, George E.
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2011 Jan 01. 108(2), 473-476.
Externí odkaz:
https://www.jstor.org/stable/25770805