Results 1 to 10 of about 70,024 (314)
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}$.
Kosta Dosen, Zoran Petric
openaire +3 more sources
Kants Freiheitsargument. Diskussion von Heiko Puls: Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt. Berlin und Boston: De Gruyter, 2016. 318 S. [PDF]
Кантовский сборник, 2018 Heiko Puls’ work Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt, presents an attempt to show that, in the Groundwork of the Metaphysics of Morals, Kant’s argumentation for the objective value ...
Porcheddu, Rocco
doaj +1 more source
Agronomy, 2021 The objective of this study was to examine peanut (Arachis hypogaea L.) kernel percent sound splits as a function of sound mature kernel seed size when shelled on a reciprocating sheller. Data were compiled from a total of 139 field experiments conducted
Daniel J. Anco +3 more
doaj +1 more source
Deduction of Optimal Control Strategies for a Sector-Coupled District Energy System
Energies, 2021 We present a method to turn the results of model-based optimisations into resilient and comprehensible control strategies. Our approach is to define priority lists for all available technologies in a district energy system.
Adrian Grimm +6 more
doaj +1 more source
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
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
Mimbar Sekolah Dasar, 2023 This research aimed to examine the effects of the mathematics course taught with logical reasoning methods on the success of students in skill-based questions and to examine students' opinions.
Esra Altintas, Meltem Angay
doaj +1 more source
THE SCOPE OF INVOLVEMENT IN MANAGEMENT AS A PREREQUISITE FOR INPUT VAT DEDUCTION RELATED TO TRANSACTIONS IN SHARES AND POSSIBLE INCOMPATIBILITY WITH ABUSE OF LAW PRINCIPLE [PDF]
სამართალი და მსოფლიო, 2021 This article analyzes the concept of “direct and indirect involvement of holding companies in the management of subsidiaries”, in the light of the principle of abuse of the law, practical problems related to the delineation of the actual intention of ...
Davit Berdzuli
doaj +1 more source
Informal Logic, 2011 There are passages in Fallacies suggesting a skeptical attitude to the very idea of inductive arguments, hence to the existence of inductive fallacies.
John Woods
doaj +1 more source