Results 51 to 60 of about 37,638 (267)
The formalization of Interpretability [PDF]
Studia Logica, 1991 The author discusses interpretability in weak theories without \(\Sigma_ 1\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\(\Delta_ 0+\Omega_ 1\). The case containing the \(\Sigma_ 1\)- collection principle is also discussed in relation with cut and with the ...
openaire +4 more sources
Arthritis Care &Research, EarlyView.People with systemic autoimmune and rheumatic diseases (SARDs) are at higher risk than the general population of experiencing adverse pregnancy and perinatal outcomes such as preeclampsia, intrauterine growth restriction, and maternal and/or fetal death.
Mehret Birru Talabi, Sonya Borrero
wiley +1 more source
, 2017 Addressing a variety of locations and subjects across several social contexts and countries, this forum intends to stimulate novel ways of conceptualizing the inevitable interpenetration and entanglement of formalization and informalization as two ...
Smart, Josephine +4 more
core +1 more source
Revista Iberoamericana de Estudios de DesarrolloIt is common to find «informal ownership» in Latin America in the context of illegal takings. Human settlements in Peru, favelas in Brazil, or camps in Chile, in all cases, a group of people builds land rights outside the law.
Guillermo Arribas
doaj +1 more source
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source
Arthritis Care &Research, EarlyView.Over the past 50 years, the science of pediatric rheumatology has grown exponentially due to an expansion in the understanding of complex rheumatic conditions and a surge in novel targeted therapeutics. Physician‐scientists in the field of pediatric rheumatology have played major roles in these advancements that have improved the care of children ...
Ekemini A. Ogbu +2 more
wiley +1 more source
Judging by the Rules? The emergence of evaluation practices
Valuation StudiesHow does evaluation work differently, and how do evaluation practices emerge, in different contexts? Drawing on a mixed-methods study of evaluation in figure skating and classical music, I discuss the divergent evaluative cultures in these settings ...
Stacy Lom
doaj +1 more source
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Implementation of the Composition-nominative Approach to Program Formalization in Mizar [PDF]
Computer Science Journal of Moldova, 2018 In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on the first-order logic and axiomatic set theory.
Ievgen Ivanov +2 more
doaj