Răzvan Diaconescu, Institution-independent Model Theory
نویسندگان
چکیده
منابع مشابه
Institution-independent Model Theory - Preamble
Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte.
متن کاملInstitution-independent Ultraproducts
We generalise the ultraproducts method from conventional model theory to an institutionindependent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel very general treatment of the semantics of some important concepts in logic, such as quantification, logical connectives, and ground atomic sentences. Unlike previous abstract model theore...
متن کاملBeth Definability in Institutions
BETH DEFINABILITY IN INSTITUTIONS MARIUS PETRIA∗ AND RĂZVAN DIACONESCU Abstract. This paper studies definability within the theory of institutions, a version of abstract model This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definab...
متن کاملThree decades of institution theory
institution to a system of institutions, i.e. a diagram of institutions, more precisely. However the thinking along these lines has led to a rather different and much more efficient solution, namely that of the ‘flattening’ of the respective diagram of institutions to a single institution by extending a corresponding construction from category theory [49] to institutions. The resulting concept ...
متن کاملInstitution Independent Static Analysis for CASL
We describe a way to make the static analysis for the inthe-large part of the Common Algebraic Specification Language (Casl) independent of the underlying logic that is used for specification in-thesmall. The logic here is formalized as an institution with some extra components. Following the institution independent semantics of Casl in-the-large, we thus get an institution independent static a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2014
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-014-9541-8