Results 281 to 290 of about 138,341 (311)
Some of the next articles are maybe not open access.
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 +1 more source
Probabilistic and deductive reasoning in the human brain
NeuroImage, 2023Lupita Estefania Gazzo Castaneda +1 more
exaly
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 potential of working hypotheses for deductive exploratory research
Quality and Quantity, 2020Mattia Casula +2 more
exaly
Constructing Induction Rules for Deductive Synthesis Proofs
Electronic Notes in Theoretical Computer Science, 2006Alan Bundy +2 more
exaly
HYPER MV-DEDUCTIVE SYSTEMS OF HYPER MV-ALGEBRAS
Communications of the Korean Mathematical Society, 2010Young-Bae Jun, Min-Su Kang
exaly