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
2009
Highly Cited
2009
Influence of fundamental material properties and air void structure on moisture damage of asphalt mixes
Influence of Fundamental Material Properties and Air Void Structure on Moisture Damage of Asphalt Mixes. (May 2007) Edith Ar… 
2008
2008
Efficient Semantic Deduction and Approximate Matching over Compact Parse Forests
Semantic inference is often modeled as application of entailment rules, which specify generation of entailed sentences from a… 
2005
2005
Cover sheet Full title : True Optionality : When the grammar doesn ’ t mind
Optionality in movement operations is widely held to be fundamentally incompatible with a feature-driven approach to displacement… 
2002
2002
Glue semantics for HPSG
‎The glue approach to semantic interpretation has been developed principally for Lexical Functional Grammar. Recent work has… 
Highly Cited
2001
Highly Cited
2001
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future… 
1999
1999
Geometry and bonding in small (C 60 ) n Ni m clusters
Small Nim(C60)n clusters withn1m<4 are studied using the tight-binding molecular-dynamics method generalized to treat… 
1997
1997
Logical Calculi for Knowledge Discovery in Databases
Observational calculi were defined in relation to GUHA method of mechanising hypotheses formation. Formulae of observational… 
1987
1987
CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design
This paper describes a partial reimplementation of Doug Smith's CYPRESS algorithm design system within the Soar problem-solving… 
1985
1985
n-Series Problems and the Coupling of Electromagnetic Waves to Apertures: A Riemann–Hilbert Approach
An effective approach to the solution of a large class of mixed boundary value problems (those reducible to an n-series problem… 
1978
1978
Logic and philosophy: A modern introduction
Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and… 
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)