The following pages link to (Q4723263):
Displaying 19 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Annotations in formal specifications and proofs (Q1334901) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- What is a logic translation? (Q1931306) (← links)
- Term charters (Q2185890) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- Proving and rewriting (Q5096184) (← links)
- Institutions for OCL-Like Expression Languages (Q5256349) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
