Results 21 to 30 of about 444,050 (330)
A Commentary on Kant’s Introduction of the Concept of Transcendental Deduction
Acta Universitatis Lodziensis Folia Iuridica, 2023 The aim of this paper is to show the place of legal analogy in Kant’s introduction of the concept of transcendental deduction. After remarks on Kant’s use of the term “deduction,” transcendental deduction is characterised as the method justifying ...
Jan Woleński
doaj +1 more source
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
A generic framework for the analysis and specialization of logic programs [PDF]
, 2005 The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives.
Albert Albiol, Elvira +2 more
core +2 more sources
An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]
, 2016 A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
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
Hybrid Deduction-Refutation Systems
Axioms, 2019 Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining
V. Goranko
semanticscholar +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
The Elasticity of Taxable Income in the Presence of Deduction Possibilities
Social Science Research Network, 2017 Several recent studies show that the elasticity of taxable income (ETI) is not a sufficient statistic for the welfare costs of taxation due to factors such as taxbase shifting.
Philipp Dörrenberg +2 more
semanticscholar +1 more source