2019/05/03 by Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva · 21 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Artificial intelligence #Calculus (dental) #Computer science #Curry–Howard correspondence #Cut-elimination theorem #Discrete mathematics #Epistemology #Intuitionistic logic #Linear logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Logical consequence #Logical framework #Mathematical proof #Mathematics #Metaphysics #Natural deduction #Philosophy #Philosophy of language #Programming language #Proof calculus #Proof theory #Sequent #Sequent calculus #Structural proof theory
paper · doi:10.1007/s11229-019-02226-5
published in Synthese 198(S22), 5391-5413 (Springer Science+Business Media)
openalex publication_date 2019/05/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29