Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898891135> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2898891135 endingPage "145" @default.
- W2898891135 startingPage "133" @default.
- W2898891135 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 logic that allows ad hoc overloading of constants. In 2015, Kunčar and Popescu introduced definitional theories, which impose a non-circularity condition on constant and type definitions in this logic, and showed that this condition is sufficient for definitional extensions to preserve consistency. We strengthen and generalize this result by showing that extensions of definitional theories are model-theoretic conservative, i.e. every model of the original theory can be expanded to a model of the extended theory." @default.
- W2898891135 created "2018-11-09" @default.
- W2898891135 creator A5042317320 @default.
- W2898891135 creator A5083906333 @default.
- W2898891135 date "2018-10-01" @default.
- W2898891135 modified "2023-09-25" @default.
- W2898891135 title "Model-Theoretic Conservative Extension for Definitional Theories" @default.
- W2898891135 cites W1550602817 @default.
- W2898891135 cites W1755481569 @default.
- W2898891135 cites W2056141758 @default.
- W2898891135 cites W2084797476 @default.
- W2898891135 cites W2106192381 @default.
- W2898891135 cites W2144280226 @default.
- W2898891135 cites W2294931363 @default.
- W2898891135 cites W2596784831 @default.
- W2898891135 cites W2780404142 @default.
- W2898891135 cites W2791394679 @default.
- W2898891135 cites W282676748 @default.
- W2898891135 cites W2977904728 @default.
- W2898891135 doi "https://doi.org/10.1016/j.entcs.2018.10.009" @default.
- W2898891135 hasPublicationYear "2018" @default.
- W2898891135 type Work @default.
- W2898891135 sameAs 2898891135 @default.
- W2898891135 citedByCount "3" @default.
- W2898891135 countsByYear W28988911352020 @default.
- W2898891135 countsByYear W28988911352021 @default.
- W2898891135 crossrefType "journal-article" @default.
- W2898891135 hasAuthorship W2898891135A5042317320 @default.
- W2898891135 hasAuthorship W2898891135A5083906333 @default.
- W2898891135 hasBestOaLocation W28988911351 @default.
- W2898891135 hasConcept C118615104 @default.
- W2898891135 hasConcept C134752490 @default.
- W2898891135 hasConcept C136119220 @default.
- W2898891135 hasConcept C144237770 @default.
- W2898891135 hasConcept C154945302 @default.
- W2898891135 hasConcept C167729594 @default.
- W2898891135 hasConcept C199343813 @default.
- W2898891135 hasConcept C199360897 @default.
- W2898891135 hasConcept C202444582 @default.
- W2898891135 hasConcept C206880738 @default.
- W2898891135 hasConcept C20693621 @default.
- W2898891135 hasConcept C2524010 @default.
- W2898891135 hasConcept C2776436953 @default.
- W2898891135 hasConcept C2777027219 @default.
- W2898891135 hasConcept C2777686260 @default.
- W2898891135 hasConcept C2778029271 @default.
- W2898891135 hasConcept C2780432614 @default.
- W2898891135 hasConcept C33923547 @default.
- W2898891135 hasConcept C41008148 @default.
- W2898891135 hasConcept C47030870 @default.
- W2898891135 hasConcept C71924100 @default.
- W2898891135 hasConcept C80444323 @default.
- W2898891135 hasConcept C97489613 @default.
- W2898891135 hasConceptScore W2898891135C118615104 @default.
- W2898891135 hasConceptScore W2898891135C134752490 @default.
- W2898891135 hasConceptScore W2898891135C136119220 @default.
- W2898891135 hasConceptScore W2898891135C144237770 @default.
- W2898891135 hasConceptScore W2898891135C154945302 @default.
- W2898891135 hasConceptScore W2898891135C167729594 @default.
- W2898891135 hasConceptScore W2898891135C199343813 @default.
- W2898891135 hasConceptScore W2898891135C199360897 @default.
- W2898891135 hasConceptScore W2898891135C202444582 @default.
- W2898891135 hasConceptScore W2898891135C206880738 @default.
- W2898891135 hasConceptScore W2898891135C20693621 @default.
- W2898891135 hasConceptScore W2898891135C2524010 @default.
- W2898891135 hasConceptScore W2898891135C2776436953 @default.
- W2898891135 hasConceptScore W2898891135C2777027219 @default.
- W2898891135 hasConceptScore W2898891135C2777686260 @default.
- W2898891135 hasConceptScore W2898891135C2778029271 @default.
- W2898891135 hasConceptScore W2898891135C2780432614 @default.
- W2898891135 hasConceptScore W2898891135C33923547 @default.
- W2898891135 hasConceptScore W2898891135C41008148 @default.
- W2898891135 hasConceptScore W2898891135C47030870 @default.
- W2898891135 hasConceptScore W2898891135C71924100 @default.
- W2898891135 hasConceptScore W2898891135C80444323 @default.
- W2898891135 hasConceptScore W2898891135C97489613 @default.
- W2898891135 hasLocation W28988911351 @default.
- W2898891135 hasLocation W28988911352 @default.
- W2898891135 hasOpenAccess W2898891135 @default.
- W2898891135 hasPrimaryLocation W28988911351 @default.
- W2898891135 hasRelatedWork W1969595922 @default.
- W2898891135 hasRelatedWork W2051894241 @default.
- W2898891135 hasRelatedWork W2117076612 @default.
- W2898891135 hasRelatedWork W2156019475 @default.
- W2898891135 hasRelatedWork W2741852637 @default.
- W2898891135 hasRelatedWork W2787399964 @default.
- W2898891135 hasRelatedWork W2898891135 @default.
- W2898891135 hasRelatedWork W2913312747 @default.
- W2898891135 hasRelatedWork W3120590792 @default.
- W2898891135 hasRelatedWork W3134062903 @default.
- W2898891135 hasVolume "338" @default.
- W2898891135 isParatext "false" @default.
- W2898891135 isRetracted "false" @default.
- W2898891135 magId "2898891135" @default.
- W2898891135 workType "article" @default.