Elementary Diagrams in Institutions

DOI10.1093/LOGCOM/14.5.651MaRDI QIDQ4659504zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(20)

• Generalised graded interpolation
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 2196612 (Why is no real title available?)
• scientific article; zbMATH DE number 4077509 (Why is no real title available?)
• An institution-independent proof of the Robinson consistency theorem
• Partialising institutions
• Diagrammatic logic applied to a parameterisation process
• Functorial semantics of first-order views
• Parameterisation for abstract structured specifications
• Preservation in many-valued truth institutions
• 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
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Abstract categorical logic

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)