Pages that link to "Item:Q1085969"
From MaRDI portal
The following pages link to On the existence of free models in abstract algebraic institutions (Q1085969):
Displaying 33 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Structural induction in institutions (Q719243) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Saturated models in institutions (Q992038) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Interpolation and compactness in categories of pre-institutions (Q4715675) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
- Implicit Partiality of Signature Morphisms in Institution Theory (Q5015966) (← links)
- Initial semantics in logics with constructors (Q5176547) (← links)
- Jewels of Institution-Independent Model Theory (Q5757924) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Partialising institutions (Q6185812) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
