Skip to search formSkip to main contentSkip to account menu

Natural deduction

Known as: Introduction rule, Natural deductive logic, Natural deduction logic 
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Words and phrases acquire meaning from the way they are used in society, from their relative semantics to other words and phrases… 
Review
2006
Review
2006
Review
1996
Review
1996
The genetic effects of pleistocene ice ages are approached by deduction from paleoenvironmental information, by induction from… 
Highly Cited
1992
Highly Cited
1992
1 INTRODUCTION This paper presents a way of extending the paradigm "proofs as programs" to classical proofs. The system we use is… 
Highly Cited
1992
Highly Cited
1992
Highly Cited
1984
Highly Cited
1984
One of the main ideas of calculi of natural deduction, as introduced by Jaśkowski and Gentzen, is that assumptions may be… 
Highly Cited
1983
Highly Cited
1983
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint… 
Highly Cited
1965
Highly Cited
1965
Highly Cited
1950
Highly Cited
1950
  • W. Quine
  • J. Symb. Log.
  • 1950
  • Corpus ID: 10917401
1. General nature of natural deduction. For Gentzen's natural deduction, a formalized method of deduction in quantification… 
Highly Cited
1934
Highly Cited
1934
  • T. G.
  • Nature
  • 1934
  • Corpus ID: 4130681
THIS very able little book goes a long way to prove that logic is a human science, and not merely a more or less coherent…