Constructor-based institutions

DOI10.1007/978-3-642-03741-2_27MaRDI QIDQ2888501zbMATH OpenOpenAlexFDO

Authors Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03741-2_27

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Constructor-based logics
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 3864486
• Interpolation in logics with constructors
• Initial semantics in logics with constructors

Cites work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• An Oxford survey of order sorted algebra
• Birkhoff completeness in institutions
• CASL: the Common Algebraic Specification Language.
• Constructor-based institutions
• Constructor-based observational logic
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1998330 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Logical foundations of CafeOBJ
• Observational logic, constructor-based logic, and their duality.
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations

Cited in

(5)

• Principles of proof scores in CafeOBJ
• Constructor-based logics
• Constructor-based institutions
• Initial semantics in logics with constructors
• Partialising institutions

Describes a project that uses

Uses Software

• Maude
• CASL

This page was built for publication: Constructor-based institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2888501)