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 (opens in a new tab)

Related topics

Related topics

47 relations
Axiomatic systemCalculus of constructionsCombinatory categorial grammarComputability logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Noncooperative Power Control Game with Exponential Pricing for Cognitive Radio Network
In cognitive radio network, power control is necessary to not only decrease the interference among the unlicensed users, but also… 
Highly Cited
2004
Highly Cited
2004
Logic of Association Rules
  • J. Rauch
  • Applied intelligence (Boston)
  • 2004
  • Corpus ID: 7233081
Association rules corresponding to general relation of two Boolean attributes are introduced. Association rules based on… 
Highly Cited
2003
Highly Cited
2003
Strategies for Information Systems Evaluation : Six Generic Types
The aim of this paper is to contribute to the decision of how to perform evaluation depending on the evaluation context. Three… 
Highly Cited
1999
Highly Cited
1999
RoboLog Koblenz: Spatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of… 
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
Highly Cited
1991
Highly Cited
1991
Abductive reasoning networks
Highly Cited
1991
Highly Cited
1991
Dependence of galaxy properties on viewing angle
Galaxies are three-dimensional objects projected onto the sky at random angles of inclination. Deduction of their true structure… 
Highly Cited
1989
Highly Cited
1989
Parsing as Natural Deduction
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an… 
Highly Cited
1984
Highly Cited
1984
Deduction Revision by Intelligent Backtracking
Highly Cited
1969
Highly Cited
1969
Semi-Automated Mathematics
The fifth in a series of experiments in semi-automated mathematics is described. These experiments culminated in large complex… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)