Implicit Partiality of Signature Morphisms in Institution Theory

DOI10.1007/978-3-030-64187-0_4OpenAlexW3170302611MaRDI QIDQ5015966

Răzvan Diaconescu

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-64187-0_4

zbMATH Keywords

institution theoryordered categories\( \frac{3}{2} \)-institutionspartial signature morphisms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (1)

Partialising institutions

Cites Work

• Functorial semantics of first-order views
• Foundations of algebraic specification and formal software development.
• A 2-categorial generalization of the concept of institution
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• Institution-independent model theory
• From Universal Logic to Computer Science, and Back
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicit Partiality of Signature Morphisms in Institution Theory