Institution morphisms
From MaRDI portal
Abstract model theory (03C95) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Recommendations
- Comorphisms of structured institutions
- Stratified institutions and elementary homomorphisms
- A 2-categorial generalization of the concept of institution
- scientific article; zbMATH DE number 2061001
- Implicit Partiality of Signature Morphisms in Institution Theory
- Monadic extensions of institutions
- scientific article; zbMATH DE number 1397395
- Structural induction in institutions
- Generalized Theoroidal Institution Comorphisms
- Birkhoff completeness in institutions
Cited in
(73)- HasCasl: integrated higher-order specification and program development
- Quasi-varieties in abstract algebraic institutions
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- Composition-nominative logics as institutions
- Topological systems as a framework for institutions
- Interpolation in Grothendieck institutions
- Semantical investigations into nonmonotonic and probabilistic logics
- What is a logic translation?
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Towards a functional approach to modular ontologies using institutions
- Semantics of multiway dataflow constraint systems
- Hybrid dynamic logic institutions for event/data-based systems
- Generalised graded interpolation
- Specifying with syntactic theory functors
- Introducing H, an institution-based formal specification and verification language
- Institutions for SQL database schemas and datasets
- Structuring theories with implicit morphisms
- Probabilization of logics: completeness and decidability
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
- Foundations of logic programming in hybrid logics with user-defined sharing
- Constructor-based observational logic
- Algebraic-coalgebraic specification in CoCASL
- Herbrand theorems in arbitrary institutions
- Morphism axioms
- Comorphisms of structured institutions
- What Is a derived signature morphism?
- Towards behavioral Maude: behavioral membership equational logic
- Change management for heterogeneous development graphs
- Integrating Maude into Hets
- What Is a Multi-modeling Language?
- Generalized Theoroidal Institution Comorphisms
- Heterogeneous Logical Environments for Distributed Specifications
- Logical systems. I: Internal calculi.
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- Abstract Beth definability in institutions
- Diagrammatic logic applied to a parameterisation process
- A Categorical Approach to Mereology and Its Application to Modelling Software Components
- scientific article; zbMATH DE number 1189285 (Why is no real title available?)
- Parameterisation for abstract structured specifications
- scientific article; zbMATH DE number 1086717 (Why is no real title available?)
- scientific article; zbMATH DE number 1180528 (Why is no real title available?)
- scientific article; zbMATH DE number 2079676 (Why is no real title available?)
- On the existence of translations of structured specifications
- Elementary Diagrams in Institutions
- Implicit Partiality of Signature Morphisms in Institution Theory
- Representing model theory in a type-theoretical logical framework
- Towards a uniform presentation of logical systems by indexed categories and adjoint situations
- Complete model-based equivalence class testing for nondeterministic systems
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- Lax theory morphisms
- scientific article; zbMATH DE number 2196612 (Why is no real title available?)
- scientific article; zbMATH DE number 2202200 (Why is no real title available?)
- The distributed ontology, modeling and specification language -- DOL
- A logical framework combining model and proof theory
- CafeOBJ Traces
- Parchments for CafeOBJ logics
- Object oriented institutions to specify symbolic computation systems
- Algebra and Coalgebra in Computer Science
- Property-oriented semantics of structured specifications
- Encoding hybridized institutions into first-order logic
- Partialising institutions
- Monadic extensions of institutions
- Representing model theory in a type-theoretical logical framework
- Grothendieck inclusion systems
- (Heterogeneous) structured specifications in logics without interpolation
- Translation structures for fuzzy model theory
- Behavioral abstraction is hiding information
- On the fragility of interpolation
- Categorical abstract algebraic logic: models of -institutions
- Quasi-Boolean encodings and conditionals in algebraic specification
- Remarks on classifications and adjunctions
- An encoding of partial algebras as total algebras
- A 2-categorial generalization of the concept of institution
This page was built for publication: Institution morphisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q699929)
