Results 1 to 10 of about 368,502 (173)
Assessing the Implementation of Critical Thinking Skills in the University: A Focus on Technology Education [PDF]
E-Journal of Humanities, Arts and Social Sciences, 2023 There is a great demand for universities to foster critical thinking skills and this requires universities to develop effective assessment methods. Critical thinking skills enable students to interpret and integrate new information and the manner in ...
Malose Kola, Habasisa Molise
doaj +1 more source
SOUR graphs for efficient completion [PDF]
Discrete Mathematics & Theoretical Computer Science, 1998 We introduce a data structure called \emphSOUR graphs and present an efficient Knuth-Bendix completion procedure based on it. \emphSOUR graphs allow for a maximal structure sharing of terms in rewriting systems.
Christopher Lynch, Polina Strogova
doaj +1 more source
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS [PDF]
The Review of Symbolic Logic, 2016 AbstractA skeleton of the category with finite coproducts${\cal D}$ freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products ${\cal C}$ freely generated by a countable set of objects. As a consequence, we obtain that ${\cal D}$ has a subcategory equivalent with ${\cal C}$.
Došen, Kosta, Petrić, Zoran
openaire +3 more sources
“Tax Simplification”—Grave Threat to the Charitable Contribution Deduction: The Problem and a Proposed Solution [PDF]
, 1967 The present National Administration has continued to support proposed legislative changes aimed at substantially reducing the number of income tax returns in which deductions are itemized. The author contends that these tax simplification proposals are
Lindsten, Fredrik +2 more
core +3 more sources
The deduction theorem for strong propositional proof systems [PDF]
, 2007 This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the ...
C. Glaßer +15 more
core +6 more sources
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
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
Gödel’s Natural Deduction [PDF]
Studia Logica, 2017 22 ...
Kosta Došen, Miloš Adžić
openaire +4 more sources
Logic and the scientific method: Virus and tobacco mosaic disease: What we know about infectious agents [PDF]
Sociološki Pregled, 2023 In this paper, using the example of the discovery of viruses from the history of science in the experiments of D. J. Ivanovsky, the authors investigate how scientific research functions and how the scientific conception that could be determined as the ...
Lukić Aleksandar R. +1 more
doaj