Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Lutz StraBburger"'
Publikováno v:
Heijltjes, W, Hughes, D & Strassburger, L 2019, Intuitionistic proofs without syntax . in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 . Annual Symposium on Logic in Computer Science, vol. 2019-June, IEEE, pp. 1-13, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24/06/19 . https://doi.org/10.1109/LICS.2019.8785827
LICS 2019-34th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS 2019-34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785827⟩
LICS
LICS 2019-34th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS 2019-34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785827⟩
LICS
International audience; We present Intuitionistic Combinatorial Proofs (ICPs), a concrete geometric semantics of intuitionistic logic based on the principles of the second author's classical Com-binatorial Proofs. An ICP naturally factorizes into a l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1538af7a00d52acc9ad495dde8091c1d
https://purehost.bath.ac.uk/ws/files/194174544/icp.pdf
https://purehost.bath.ac.uk/ws/files/194174544/icp.pdf
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium'99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tuto