- 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
- A framework for defining logics
1993/01/01 by Robert Harper, Furio Honsell, Gordon Plotkin · 47 citations
Computer Science · Mathematics · #Abstract syntax #Artificial intelligence #Calculus (dental) #Computer science #Formal Methods in Verification #Formal system #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Logical framework #Mathematical proof #Mathematics #Natural deduction #Programming language #Proof calculus #Syntax #Theoretical computer science #Type (biology) #Type theory