Results 61 to 70 of about 12,714 (266)
, 2020 Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow. This task has been studied, under different names, in many research areas, leading to a reformulation and reinvention of techniques.
openaire +2 more sources
Embedding Chemistry and Pharmacy Into Sustainability
Angewandte Chemie International Edition, EarlyView.Chemistry and pharmacy provide products and processes that are indispensable for our high living standard. To understand their relationship with sustainability is important to allow them to contribute to sustainability in a sustainable manner. An integrated overview of green, circular, and sustainable chemistry and pharmacy is given and how they have t
Klaus Kümmerer
wiley +1 more source
An Intersubjective Approach in the Validation of Axioms Considering Islamic Philosophy [PDF]
Pizhūhish/hā-yi Falsafī- KalāmīAxioms are crucial to epistemic frameworks, as several schools of the history of science have recognized. The issue of the current research is that in the validation of axioms, what defects does the intuitive approach entail, and how can the ...
Mehran Rezaee +2 more
doaj +1 more source
Annals of Pure and Applied LogicThe Recurrence Axiom for a class $\mathcal{P}$ of \pos\ and a set $A$ of parameters is an axiom scheme in the language of ZFC asserting that if a statement with parameters from $A$ is forced by a poset in $\mathcal{P}$, then there is a ground containing the parameters and satisfying the statement.
Sakaé Fuchino, Toshimichi Usuba
openaire +2 more sources
Ibn Al-Haitham Journal for Pure and Applied Sciences, 2018 In the present paper we introduce and study new classes of soft separation axioms in soft bitopological spaces, namely, soft (1,2)*-omega separation axioms and weak soft (1,2)*-omega separation axioms by using the concept of soft (1,2)*-omega open sets.
Sabiha I. Mahmood, Asaad Adel Abdul-Hady
doaj +1 more source
Proceedings of the ACM on Programming LanguagesWe study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polynomial-time equivalence checking that is sound with respect to Boolean algebra semantics.
Simon Guilloud, Viktor Kuncak
openaire +2 more sources
The Anatomical Record, EarlyView.Abstract Differences in skull and tooth morphology, stomach contents, and estimated bite force between medium‐to‐large sized (≥100 kg) predatory theropod dinosaurs have long been suspected to correlate with differences in their diets and dietary guilds (e.g., hypercarnivory, piscivory).
Cassius Morrison +9 more
wiley +1 more source
, 2005 This talk introduces the first graph-theoretic, ordinal representation theorem for the PageRank algorithm, bridging the gap between page ranking algorithms and the formal theory of social choice.
openaire +4 more sources
Early evolution of the gular musculature and its innervation in ray‐finned fishes
The Anatomical Record, EarlyView.Abstract Gular muscles are an important but often overlooked component of cranial anatomy in bony fishes. They are located on the ventral surface of the head and are derived from the mandibular and hyoid arches. We present a comprehensive review of the gular musculature and its innervation across early diverging actinopterygian lineages. By integrating
Aléssio Datovo +4 more
wiley +1 more source
THE AXIOMATIC METHOD IN ECONOMICS
Финансы: теория и практика, 2017 The development of the methodology is one of the principal problems of the humanities. There are two solutions: the endogenous development of methods within each science by increasing the existing methodological base; and the exogenous development by ...
A. N. Nekhamkin, A. B. Elovikov
doaj +1 more source