Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,759,214 papers from all fields of science
Search
Sign In
Create Free Account
Natural deduction
Known as:
Introduction rule
, Natural deductive logic
, Natural deduction logic
Expand
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
47 relations
Axiomatic system
Calculus of constructions
Combinatory categorial grammar
Computability logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
The Google Similarity Distance
Rudi L. Cilibrasi
,
P. Vitányi
IEEE Transactions on Knowledge and Data…
2007
Corpus ID: 59777
Words and phrases acquire meaning from the way they are used in society, from their relative semantics to other words and phrases…
Expand
Review
2006
Review
2006
Handbook of Constraint Programming
F. Rossi
,
P. V. Beek
,
T. Walsh
Handbook of Constraint Programming
2006
Corpus ID: 14174798
Review
1996
Review
1996
Some genetic consequences of ice ages, and their role in divergence and speciation
G. Hewitt
1996
Corpus ID: 86579616
The genetic effects of pleistocene ice ages are approached by deduction from paleoenvironmental information, by induction from…
Expand
Highly Cited
1992
Highly Cited
1992
Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction
M. Parigot
LPAR
1992
Corpus ID: 8054281
1 INTRODUCTION This paper presents a way of extending the paradigm "proofs as programs" to classical proofs. The system we use is…
Expand
Highly Cited
1992
Highly Cited
1992
Stacked generalization
D. Wolpert
Neural Networks
1992
Corpus ID: 5895004
Highly Cited
1984
Highly Cited
1984
A Natural Extension of Natural Deduction
P. Schroeder-Heister
J. Symb. Log.
1984
Corpus ID: 8908953
One of the main ideas of calculi of natural deduction, as introduced by Jaśkowski and Gentzen, is that assumptions may be…
Expand
Highly Cited
1983
Highly Cited
1983
Maintaining knowledge about temporal intervals
James F. Allen
CACM
1983
Corpus ID: 16729000
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint…
Expand
Highly Cited
1965
Highly Cited
1965
Natural Deduction: A Proof-Theoretical Study
D. Prawitz
1965
Corpus ID: 117553753
Highly Cited
1950
Highly Cited
1950
On Natural Deduction
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…
Expand
Highly Cited
1934
Highly Cited
1934
Logic in Practice
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…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE