Pages that link to "Item:Q1091132"
From MaRDI portal
The following pages link to Quasi-varieties in abstract algebraic institutions (Q1091132):
Displaying 25 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Free objects and equational deduction for partial conditional specifications (Q673184) (← 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 the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- What is a logic translation? (Q1931306) (← 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)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- On quasi-varieties of multiple valued logic models (Q2996230) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Non-strict don't care algebras and specifications (Q4882494) (← links)
- Logic representation in LF (Q5096264) (← links)
- Behavioural satisfaction and equivalence in concrete model categories (Q5878913) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
