Model-Theoretic Conservative Extension for Definitional Theories
نویسندگان
چکیده
منابع مشابه
Definitional Extension in Type Theory
When we extend a type system, the relation between the original system and its extension is an important issue we want to understand. Conservative extension is a traditional relation we study with. But in some cases, like coercive subtyping, it is not strong enough to capture all the properties, more powerful relation between the systems is required. We bring the idea definitional extension fro...
متن کاملA Model-Theoretic Framework for Theories of Syntax
A natural next step in the evolution of constraint-based grammar formalisms from rewriting formalisms is to abstract fully away from the details of the grammar mechanism—to express syntactic theories purely in terms of the properties of the class of structures they license. By focusing on the structural properties of languages rather than on mechanisms for generating or checking structures that...
متن کاملConservative Extension in HOL
This note offers an alternative to a proposal by Rob Arthan for a simpler and more powerful replacement for the mechanisms currently provided in the various HOL implementation for defining new constants.
متن کاملConservative Extension in Positive /
We transpose a conservative extension theorem from structural operational semantics to conditional term rewriting. The result is useful for the development of software renovation factories, and for modular speciication of abstract data types.
متن کاملConservative Expansion Concepts for Default Theories
Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program reenement and guarantee the integrity and transparency of modules and objects. This paper studies conservative extension ideas in the context of default logic. In particular, we deene several alternative concepts, study their properties, and derive interconnections...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2018
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2018.10.009