May I borrow your logic? (Transporting logical structures along maps)
From MaRDI portal
Publication:1391728
DOI10.1016/S0304-3975(96)00160-0zbMath0901.68186OpenAlexW2005081948MaRDI QIDQ1391728
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00160-0
Related Items
Compositional Modelling and Reasoning in an Institution for Processes and Data, Two Decades of Maude, Modularity of Ontologies in an Arbitrary Institution, What is a logic translation?, Specification and proof in membership equational logic, A logical framework combining model and proof theory, Encoding hybridized institutions into first-order logic, A Foundational View on Integration Problems, HasCasl: integrated higher-order specification and program development, On what exactly goes on when software is developed step-by-step. II: The sequel, From static to dynamic abstract data-types: An institution transformation, Abstract Beth definability in institutions, Logical systems for structured specifications., Relating CASL with other specification languages: the institution level., Categorical abstract algebraic logic: models of \(\pi\)-institutions
Uses Software
Cites Work
- Linear logic
- On the existence of free models in abstract algebraic institutions
- On observational equivalence and algebraic specification
- Specifications in an arbitrary institution
- Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
- Institutions: abstract model theory for specification and programming
- From Petri nets to linear logic
- Logic representation in LF
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
