Pages that link to "Item:Q1391728"
From MaRDI portal
The following pages link to May I borrow your logic? (Transporting logical structures along maps) (Q1391728):
Displayed 15 items.
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- What is a logic translation? (Q1931306) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)