Institution morphisms
From MaRDI portal
Publication:699929
DOI10.1007/S001650200013zbMath1001.68019OpenAlexW2973533397MaRDI QIDQ699929
Grigore Roşu, Joseph A. Goguen
Publication date: 25 September 2002
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650200013
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Logic programming (68N17) Abstract model theory (03C95)
Related Items (50)
Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Constructor-based observational logic ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Interpolation in Grothendieck institutions ⋮ Quasi-Boolean encodings and conditionals in algebraic specification ⋮ What Is a Multi-modeling Language? ⋮ Generalized Theoroidal Institution Comorphisms ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Logical systems. I: Internal calculi. ⋮ Herbrand theorems in arbitrary institutions ⋮ Composition-nominative logics as institutions ⋮ Remarks on classifications and adjunctions ⋮ Specifying with syntactic theory functors ⋮ Topological systems as a framework for institutions ⋮ Parameterisation for abstract structured specifications ⋮ Semantical investigations into nonmonotonic and probabilistic logics ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ What is a logic translation? ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Institutions for SQL database schemas and datasets ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ On the existence of translations of structured specifications ⋮ Comorphisms of structured institutions ⋮ Representing model theory in a type-theoretical logical framework ⋮ Grothendieck inclusion systems ⋮ A logical framework combining model and proof theory ⋮ CafeOBJ Traces ⋮ Parchments for CafeOBJ Logics ⋮ Complete model-based equivalence class testing for nondeterministic systems ⋮ Probabilization of logics: completeness and decidability ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ Property-oriented semantics of structured specifications ⋮ Diagrammatic logic applied to a parameterisation process ⋮ Encoding hybridized institutions into first-order logic ⋮ Behavioral abstraction is hiding information ⋮ Towards a functional approach to modular ontologies using institutions ⋮ A Categorical Approach to Mereology and Its Application to Modelling Software Components ⋮ Object oriented institutions to specify symbolic computation systems ⋮ An encoding of partial algebras as total algebras ⋮ Change Management for Heterogeneous Development Graphs ⋮ Integrating Maude into Hets ⋮ HasCasl: integrated higher-order specification and program development ⋮ Semantics of multiway dataflow constraint systems ⋮ Hybrid dynamic logic institutions for event/data-based systems ⋮ Abstract Beth definability in institutions ⋮ Towards Behavioral Maude ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML ⋮ Generalised graded interpolation ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions
Uses Software
This page was built for publication: Institution morphisms