Luiz Carlos Pereira
- An ecumenical notion of entailment
2019/05/03 by Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva · 1 citation
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