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




Related Items (50)

Foundations of logic programming in hybrid logics with user-defined sharingConstructor-based observational logicAlgebraic-coalgebraic specification in CoCASLInterpolation in Grothendieck institutionsQuasi-Boolean encodings and conditionals in algebraic specificationWhat Is a Multi-modeling Language?Generalized Theoroidal Institution ComorphismsHeterogeneous Logical Environments for Distributed SpecificationsLogical systems. I: Internal calculi.Herbrand theorems in arbitrary institutionsComposition-nominative logics as institutionsRemarks on classifications and adjunctionsSpecifying with syntactic theory functorsTopological systems as a framework for institutionsParameterisation for abstract structured specificationsSemantical investigations into nonmonotonic and probabilistic logicsIntroducing \(H\), an institution-based formal specification and verification languageWhat is a logic translation?Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology designInstitutions for SQL database schemas and datasetsThe Distributed Ontology, Modeling and Specification Language – DOLOn the existence of translations of structured specificationsComorphisms of structured institutionsRepresenting model theory in a type-theoretical logical frameworkGrothendieck inclusion systemsA logical framework combining model and proof theoryCafeOBJ TracesParchments for CafeOBJ LogicsComplete model-based equivalence class testing for nondeterministic systemsProbabilization of logics: completeness and decidabilityForcing, downward Löwenheim-Skolem and omitting types theorems, institutionallyRepresenting Model Theory in a Type-Theoretical Logical FrameworkProperty-oriented semantics of structured specificationsDiagrammatic logic applied to a parameterisation processEncoding hybridized institutions into first-order logicBehavioral abstraction is hiding informationTowards a functional approach to modular ontologies using institutionsA Categorical Approach to Mereology and Its Application to Modelling Software ComponentsObject oriented institutions to specify symbolic computation systemsAn encoding of partial algebras as total algebrasChange Management for Heterogeneous Development GraphsIntegrating Maude into HetsHasCasl: integrated higher-order specification and program developmentSemantics of multiway dataflow constraint systemsHybrid dynamic logic institutions for event/data-based systemsAbstract Beth definability in institutionsTowards Behavioral MaudeTowards an Institutional Framework for Heterogeneous Formal Development in UMLGeneralised graded interpolationCategorical abstract algebraic logic: models of \(\pi\)-institutions


Uses Software






This page was built for publication: Institution morphisms