Proof-checking mathematical texts in controlled natural language

An Introduction to the Theory of Numbers. By G. H. Hardy and E. M. Wright. 2nd edition. Pp. xvi, 407 25s. 1945. (Oxford)

T. A. A. B. · The Mathematical Gazette · 1946 · 7.4K citations

Natural Sciences, Mathematics, Number Theory +3

A formulation of the simple theory of types

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

Natural Sciences, Mathematics, Algebra +9

Dynamic predicate logic

Jeroen Groenendijk, Martin Stokhof · Linguistics and Philosophy · 1991 · 1.4K citations · Full text

Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks

Fernando C. N. Pereira, David H. Warren · Artificial Intelligence · 1980 · 985 citations

Language Studies, Computer Science, Linguistics +11

My Philosophical Development.

Morris Weitz, Bertrand Russell · The Philosophical Review · 1961 · 582 citations

Humanities, Philosophy, Epistemology +3