Results 271 to 280 of about 444,050 (330)
Some of the next articles are maybe not open access.
The Dialogical Roots of Deduction
, 2020This comprehensive account of the concept and practices of deduction is the fi rst to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice.
C. Novaes
semanticscholar +1 more source
Topology Deduction and Analysis of Voltage Balancers for DC Microgrid
IEEE Journal of Emerging and Selected Topics in Power Electronics, 2017A voltage balancer that transfers unipolar dc bus configuration to bipolar dc bus configuration has been widely employed in dc microgrid. Fortunately, unbalanced power flow between positive and negative dc buses can be eliminated through a well-designed ...
Fei Wang +3 more
semanticscholar +1 more source
Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kosta Došen, Miloš Adžić
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kosta Došen, Miloš Adžić
openaire +2 more sources
WIREs Cognitive Science, 1999
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
Do People Respond to the Mortgage Interest Deduction? Quasi-Experimental Evidence from Denmark
American Economic Journal: Economic Policy, 2017Using a major reform that scaled back the mortgage interest deduction for middle- and high-income households in Denmark, we study how tax subsidies affect housing decisions. We present four main findings.
J. Gruber, A. Jensen, H. Kleven
semanticscholar +1 more source
Bulletin of Symbolic Logic, 1996
AbstractThis is an exposition of Lambek's strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek's Functional Completeness Theorem, from which its main consequences can be readily drawn. The
openaire +2 more sources
AbstractThis is an exposition of Lambek's strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek's Functional Completeness Theorem, from which its main consequences can be readily drawn. The
openaire +2 more sources
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
Automated Reasoning and Mathematics, 2015We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If Q is a loop with commuting inner mappings, does it follow that Q modulo its center is a group and Q modulo ...
M. Kinyon, R. Veroff, P. Vojtěchovský
semanticscholar +1 more source
2023
Abstract Peirce maintains that in valid deductions the conclusion is virtually asserted in the premises. Accordingly, in evaluating whether a deduction is valid, one is to take account not only of the formal structure of the inference but also of the meaning of the words used in drawing the inference.
openaire +1 more source
Abstract Peirce maintains that in valid deductions the conclusion is virtually asserted in the premises. Accordingly, in evaluating whether a deduction is valid, one is to take account not only of the formal structure of the inference but also of the meaning of the words used in drawing the inference.
openaire +1 more source