Conditionals and consequences

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4K citations

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Reasoning, Engineering, Reasoning System +6

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

The Principles of Mathematics

R. W. H. T. H. · Nature · 1903 · 1.9K citations · Full text

Theoretical Mathematics, Mathematics Education, Mathematics Cognition +3

Nonmonotonic reasoning, preferential models and cumulative logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1990 · 1.7K citations

Non-classical Logic, Automated Reasoning, Nonmonotonic Logic +3