A Logical Calculus of Meaning and Synonymy

Semantics in Generative Grammar

Bart Geurts, Irene Heim, Angelika Kratzer et al. · Language · 1999 · 2.9K citations

Formal Semantics, Syntax, Automated Reasoning +6

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

High-level Programming Language, Engineering, Program Analysis +7

Translations from the Philosophical Writings of Gottlob Frege.

William Marshall, Max Black, P. T. Geach · The Philosophical Review · 1954 · 812 citations

Translation Studies, Practical Philosophy, Gottlob Frege

On the logic of demonstratives

David M. Kaplan · Journal of Philosophical Logic · 1979 · 371 citations

Non-classical Logic, Philosophy Of Language, Automated Reasoning +5

Pragmatics and intensional logic

Richard Montague · Synthese · 1970 · 270 citations

Formal Semantics, Philosophy Of Language, Automated Reasoning +8