Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Natural deduction
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Current intrusion detection systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The home mortgage interest deduction creates incentives to buy more housing and to become a homeowner, and the case for the… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Conditional reasoning theories of propositional reasoning - rules versus models the Wason selection task disjunctive reasoning… Expand
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Abstract This paper generalizes many-sorted algebra (MSA) to order-sorted algebra (OSA) by allowing a partial ordering relation… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Introduction PART 1: The Development of Mathematical Statistics in Astronomy and Geodesy before 1827 1. Least Squares and the… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
One of the main ideas of calculi of natural deduction, as introduced by Jaskowski and Gentzen, is that assumptions may be… Expand
Is this relevant?
Highly Cited
1975
Highly Cited
1975
Name of founding work in the area. Adaptation is key to survival and evolution. Evolution implicitly optimizes organisims. AI… Expand
Is this relevant?
Highly Cited
1970
Highly Cited
1965