Elementary Diagrams in Institutions

DOI10.1093/logcom/14.5.651zbMath1104.03036OpenAlexW2060430979MaRDI QIDQ4659504

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 data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Abstract model theory (03C95)

Related Items

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