Stratified institutions and elementary homomorphisms

DOI10.1016/j.ipl.2007.02.005zbMath1189.03038OpenAlexW2131026203MaRDI QIDQ2379932

Marc Aiguier, Răzvan Diaconescu

Publication date: 24 March 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2007.02.005

zbMATH Keywords

institutionsformal methodselementary colimit theoremelementary homomorphisms

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing, Birkhoff style calculi for hybrid logics, Some general results about proof normalization, Abstract categorical logic, A logical framework combining model and proof theory, Encoding hybridized institutions into first-order logic, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An institution-independent proof of the Robinson consistency theorem
• Model theory.
• Institutionalising Many-Sorted Coalgebraic Modal Logic
• An Institution-independent Generalization of Tarski's Elementary Chain Theorem
• Fibring of logics as a categorial construction
• Institutions: abstract model theory for specification and programming
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• Recent Trends in Algebraic Development Techniques