Results 11 to 20 of about 70,024 (314)
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering [PDF]
, 2005 Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperative programming, this technique has been successfully applied to debugging,
Michael Leuschel +3 more
core +1 more source
Evidential Statistics in Model and Theory Development
Frontiers in Ecology and Evolution, 2019 Evidential statistics is an important advance in model and theory testing, and scientific reasoning in general, combining and extending key insights from other philosophies of statistics.
Samuel M. Scheiner, Robert D. Holt
doaj +1 more source
05431 Executive Summary – Deduction and Applications [PDF]
, 2006 Formal logic provides a mathematical foundation for many areas of computer science. Logical languages are used as specification language within, e.g., program development and verification, hardware design and verification, relational databases ...
Voronkov, Andrei +3 more
core +1 more source
Transcendental Unity of Apperception In Kant’sTheory of Knowledge
Tsaqafah, 2014 This article aims at delineating Kant’s theory of understanding that integrate subject and object at the transcendent level. Transcendental here refers to the process of thinking in such a way that ‘transcends’ natural thinking. It is called transcendent
Hamid Fahmy Zarkasyi
doaj +1 more source
Natural deduction calculus for computation tree logic [PDF]
, 2006 We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic.
Bolotov, A. +5 more
core +1 more source
On Some Features of Logical Thought in Writing
Armenian Folia Anglistika, 2016 This paper considers some features of logical thinking in persuasive essay writing. A solid essay is logically organized and well-developed; it advances consistent arguments supported by strong evidence.
Marina Karapetyan
doaj +1 more source
Reciprocal Effect of Copper and Iron Regulation on the Proteome of Synechocystis sp. PCC 6803
Frontiers in Bioengineering and Biotechnology, 2021 Cyanobacteria can acclimate to changing copper and iron concentrations in the environment via metal homeostasis, but a general mechanism for interpreting their dynamic relationships is sparse.
Zhang-He Zhen +9 more
doaj +1 more source
Un livre de Reviel Netz pour une approche non formaliste des formalismes
Revue d'anthropologie des connaissances, 2009 The article introduces and discusses Reviel Netz's work as a model of science studies that analyses the material, historical and practical conditions of the invention of geometry, a style of reasoning at the heart of what it is to deduce, demonstrate and
Bruno Latour
doaj +1 more source
Abductive Logic of Inquiry for Quantitative Research in the Digital Age
Sociological Science, 2021 We propose an abductive logic of scientific inference for quantitative research. The advent of computational sociology has exposed the limitations of a deductive logic of inquiry for quantitative researchers due to a lack of traditional sociological ...
Philipp Brandt, Stefan Timmermans
doaj +1 more source
Logic program specialisation through partial deduction: Control Issues
, 2002 Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +1 more source