Elementary Diagrams in Institutions

DOI10.1093/LOGCOM/14.5.651zbMATH Open1104.03036OpenAlexW2060430979MaRDI QIDQ4659504FDOQ4659504

Authors: Răzvan Diaconescu 

Publication date: 21 March 2005

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.5.651

Recommendations

• scientific article; zbMATH DE number 2196612
• scientific article; zbMATH DE number 1086717
• Institution morphisms
• Monadic extensions of institutions
• Institution-independent model theory

zbMATH Keywords

categorical abstract model theory

Mathematics Subject Classification ID

Abstract model theory (03C95) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65)

Cited In (20)

• Generalised graded interpolation
• Foundations for structuring behavioural specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• An institution-independent proof of the Robinson consistency theorem
• Partialising institutions
• Diagrammatic logic applied to a parameterisation process
• Preservation in many-valued truth institutions
• Functorial semantics of first-order views
• Parameterisation for abstract structured specifications
• An axiomatic approach to structuring specifications
• On the algebra of structured specifications
• Grothendieck inclusion systems
• Saturated models in institutions
• Ultraproducts and possible worlds semantics in institutions
• Interpolation for predefined types
• Foundations of logic programming in hybrid logics with user-defined sharing
• Abstract Beth definability in institutions
• Abstract categorical logic
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally

This page was built for publication: Elementary Diagrams in Institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4659504)