Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

47 relations
Axiomatic systemCalculus of constructionsCombinatory categorial grammarComputability 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
Words and phrases acquire meaning from the way they are used in society, from their relative semantics to other words and phrases… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 8
Highly Cited
1996
Highly Cited
1996
Natural deduction and coherence for weakly distributive categories
Abstract This paper examines coherence for certain monoidal categories using techniques coming from the proof theory of linear… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1992
Highly Cited
1992
Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction
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
This paper introduces stacked generalization, a scheme for minimizing the generalization error rate of one or more generalizers… Expand
Highly Cited
1992
Highly Cited
1992
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
Abstract This paper generalizes many-sorted algebra (MSA) to order-sorted algebra (OSA) by allowing a partial ordering relation… Expand
Highly Cited
1984
Highly Cited
1984
A Natural Extension of Natural Deduction
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
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Highly Cited
1965
Highly Cited
1965
Natural Deduction: A Proof-Theoretical Study
 
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