Natural Language Inference in Coq

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Automated Reasoning, Type Theory, Mathematical Foundations +6

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 985 citations · Full text

The Logic of Decision and Action.

Kit Fine, Nicholas Rescher · The Philosophical Quarterly · 1970 · 343 citations

Behavioral Decision Making, Law, Philosophical Quarterly +16

Formal semantics of natural language

Lingua · 1978 · 327 citations

Formal Semantics, Syntax, Automated Reasoning +5

Computation and reasoning: a type theory for computer science

Choice Reviews Online · 1995 · 242 citations

Engineering, Automated Reasoning, Extended Calculus +12