Results 1 to 10 of about 5,368 (252)
Model-Theoretic Conservative Extension for Definitional Theories
Electronic Notes in Theoretical Computer Science, 2018 Abstract Many logical frameworks allow extensions, i.e. the introduction of new symbols, by definitions. Different from asserting arbitrary non-logical axioms, extensions by definitions are expected to be conservative: they should entail no new theorems in the original language. The popular theorem prover Isabelle implements a variant of higher-order
Arve Gengelbach, Tjark Weber
exaly +4 more sources
Using Verb Extension to Gauge Children’s Verb Meaning Construals: The Case of Chinese
Frontiers in Psychology, 2021 Verb extension is a crucial gauge of the acquisition of verb meaning. In English, studies suggest that young children show conservative extension. An important test of whether an early conservative extension is a general phenomenon or a function of the ...
Weiyi Ma +5 more
doaj +5 more sources
On bi-conservative hypersurfaces in the Lorentz-Minkowski 4-space $E_1^4$ [PDF]
Sahand Communications in Mathematical Analysis, 2023 In the 1920s, D. Hilbert has showed that the tensor of stress-energy, related to a given functional $\Lambda$, is a conservative symmetric bicovariant tensor $\Theta$ at the critical points of $\Lambda$, which means that div$\Theta =0$.
Firooz Pashaie
doaj +1 more source
Journal of Orthopaedic Diseases and Traumatology, 2021 Introduction: Snapping hip (coxa saltans) is an audible and sometimes painful disorder of the hip that occurs during activities that require repetitive flexion, extension, and abduction of the hip.
Rakesh Choudhary +2 more
doaj +1 more source
Conservative Extensions for Existential Rules
Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, 2022 We study the problem to decide, given sets T1, T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider two natural notions of conservative extension, one pertaining to answers to conjunctive queries over databases and one to homomorphisms between chased databases.
Jean Christoph Jung +2 more
openaire +3 more sources
Multiparty Sessions based on Proof Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We interpret Linear Logic Proof Nets in a term language based on Solos calculus. The system includes a synchronisation mechanism, obtained by a conservative extension of the logic, that enables to define non-deterministic behaviours and multiparty ...
Dimitris Mostrous
doaj +1 more source
Journal of Dental School, 2021 Objectives Restoration of severely damaged endodontically treated anterior teeth typically poses a challenge. Specific indication of post-retained restorations in such teeth has reasonably been questioned because of the potential tooth structure ...
Hamid Kermanshah +4 more
doaj +1 more source
On maximum conservative extensions [PDF]
Computability, 2015 We investigate the set of Π 1 2 sentences which are Π 1 1 conservative over theories of second order arithmetic. We exhibit new elements of these sets and conclude that the sets are Π 2
openaire +2 more sources
Systems of Conservation Equations with a Convex Extension [PDF]
Proceedings of the National Academy of Sciences, 1971 We discuss first-order systems of nonlinear conservation laws which have as a consequence an additional conservation law. We show that if the additional conserved quantity is a convex function of the original ones, the original system can be put into symmetric hyperbolic form.
Friedrichs, K. O., Lax, P. D.
openaire +3 more sources
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative [PDF]
Logical Methods in Computer Science, 2006 We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional lambda calculus
Kristian Stoevring
doaj +1 more source