May I borrow your logic? (Transporting logical structures along maps)

DOI10.1016/S0304-3975(96)00160-0zbMath0901.68186OpenAlexW2005081948MaRDI QIDQ1391728

Maura Cerioli, José Meseguer

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

zbMATH Keywords

mechanized reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (15)

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

• OBJ3

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

This page was built for publication: May I borrow your logic? (Transporting logical structures along maps)