Results 261 to 270 of about 87,998 (303)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1950
For Gentzen's natural deduction, a formalized method of deduction in quantification theory dating from 1934, these important advantages may be claimed: it corresponds more closely than other methods of formalized quantification theory to habitual unformalized modes of reasoning, and it consequently tends to minimize the false moves involved in seeking ...
openaire +3 more sources
For Gentzen's natural deduction, a formalized method of deduction in quantification theory dating from 1934, these important advantages may be claimed: it corresponds more closely than other methods of formalized quantification theory to habitual unformalized modes of reasoning, and it consequently tends to minimize the false moves involved in seeking ...
openaire +3 more sources
Synthese, 1999
Any theory of explanation must account for the explanatory successes of statistical scientific theories. This should not be done by endorsing determinism. These considerations have been taken as sufficient ground for rejecting the demand on explanations to be deductive.
openaire +1 more source
Any theory of explanation must account for the explanatory successes of statistical scientific theories. This should not be done by endorsing determinism. These considerations have been taken as sufficient ground for rejecting the demand on explanations to be deductive.
openaire +1 more source
1993
It is often said that logic is the theory of deduction. While such a characterization may appear too narrow because, in our century, several new chapters have been added to logic, such as the theory of truth, definition, computation, communication, action etc., the theory of deduction remains a basic part of logic. The foundations of such a theory were
openaire +2 more sources
It is often said that logic is the theory of deduction. While such a characterization may appear too narrow because, in our century, several new chapters have been added to logic, such as the theory of truth, definition, computation, communication, action etc., the theory of deduction remains a basic part of logic. The foundations of such a theory were
openaire +2 more sources
NEXCEL, A Deductive Spreadsheet
Qatar Foundation Annual Research Forum Proceedings, 2007Abstract Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion dollar budgets.
openaire +2 more sources
Journal of Philosophical Logic, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2006
This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Each object can change its state and cooperate with other objects.
Elisa Bertino +2 more
openaire +2 more sources
This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Each object can change its state and cooperate with other objects.
Elisa Bertino +2 more
openaire +2 more sources
Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Perspectives on Automated Deduction
1990A two-dimensional space of approaches to automated deduction is presented here. It is the result of an analysis of basic characteristics and representational techniques of proof systems. As a consequence, the incorporation into deductive systems of connection structures, of various instantiations of the principle of compression (such as cycle ...
openaire +2 more sources
The Deduction of the Categories: The Metaphysical and Transcendental Deductions
2010In the Preface to the first edition of Critique of Pure Reason in 1781, Kant wrote that he was “acquainted with no other investigations more important for getting to the bottom of that faculty we call the understanding, and at the same time for the determination of the rules and boundaries of its use, than those I have undertaken in the second ...
openaire +1 more source
The Mortgage Interest Deduction: Revenue and Distributional Effects
Journal of Housing Research, 2021Harvey S Rosen, Ted Gayer
exaly