Mind & Language · 1991 · 230 citations · 45 references
HumanitiesPhilosophyLogicPhilosophy Of MindPhilosophy Of ScienceCognitive ScienceIntuitionistic LogicPhilosophical LogicPhilosophy Of LogicHistory Of LogicLogic Model CritiqueLogical Formalism Critique
45
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Edward H. Madden, Nelson Goodman, Andrew G. van Melsen · Philosophy and Phenomenological Research · 1955 · 4.4K citations
Connectionism and cognitive architecture: A critical analysis
Jerry A. Fodor, Zenon W. Pylyshyn · Cognition · 1988 · 4K citations
Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations