Intuitionistic proofs without syntax

Autor: Dominic J. D. Hughes, Lutz StraBburger, Willem Heijltjes

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

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