Institution-independent model theory

Publication date: 7 February 2008

Published in: Studies in Universal Logic (Search for Journal in Brave)

interpolation models institutions categories preservation definability logic programming specification axiomatizability saturated models ultraproducts Grothendieck institutions internal logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing, Soundness and completeness proofs by coinductive methods, Towards Logical Frameworks in the Heterogeneous Tool Set Hets, Indexed and fibered structures for partial and total correctness assertions, Translating Testing Theories for Concurrent Systems, Quasi-Boolean encodings and conditionals in algebraic specification, What Is a Multi-modeling Language?, A Term-Graph Syntax for Algebras over Multisets, Heterogeneous Logical Environments for Distributed Specifications, Term-Generic Logic, Universal logic: evolution of a project, Composition-nominative logics as institutions, Functorial semantics of first-order views, Morphism axioms, Categorical abstract algebraic logic: referential algebraic semantics, An institution-independent proof of the Robinson consistency theorem, Topological systems as a framework for institutions, Parameterisation for abstract structured specifications, Principles of proof scores in CafeOBJ, Introducing \(H\), an institution-based formal specification and verification language, Birkhoff style calculi for hybrid logics, Unnamed Item, What is a logic translation?, Some general results about proof normalization, Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design, Institutions for SQL database schemas and datasets, Term charters, Abstract categorical logic, Interpolation for predefined types, Foundations for structuring behavioural specifications, Preservation in many-valued truth institutions, Graded consequence: an institution theoretic study, An analysis of the logic of Riesz spaces with strong unit, Coinduction for preordered algebra, Conservative translations revisited, Categorical foundations for structured specifications in \(\mathsf{Z}\), Partialising institutions, An axiomatic approach to structuring specifications, Universality of Logic, Stability of termination and sufficient-completeness under pushouts via amalgamation, On the existence of translations of structured specifications, Comorphisms of structured institutions, Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction, Grothendieck inclusion systems, On quasi-varieties of multiple valued logic models, A logical framework combining model and proof theory, CafeOBJ Traces, Parchments for CafeOBJ Logics, Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics, Complete model-based equivalence class testing for nondeterministic systems, The institution-theoretic scope of logic theorems, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, Property-oriented semantics of structured specifications, Encoding hybridized institutions into first-order logic, On the algebra of structured specifications, A categorical study on the finiteness of specifications, Towards a functional approach to modular ontologies using institutions, Structural induction in institutions, An encoding of partial algebras as total algebras, Saturated models in institutions, A 2-categorial generalization of the concept of institution, Integrating Maude into Hets, CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES, A semantic approach to interpolation, Distilling the requirements of Gödel's incompleteness theorems with a proof assistant, The semantic view of theories and higher-order languages, A formally verified abstract account of Gödel's incompleteness theorems, Hybrid Specification of Reactive Systems: An Institutional Approach, Hybrid dynamic logic institutions for event/data-based systems, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, The Foundational Legacy of ASL, Homotopical Categories of Logics, Implicit Partiality of Signature Morphisms in Institution Theory, Generalised graded interpolation, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols, Refinement in hybridised institutions, The future of logic: foundation-independence

Uses Software