Structural induction in institutions

DOI10.1016/J.IC.2011.06.002MaRDI QIDQ719243zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 10 October 2011

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2011.06.002

zbMATH Keywords

algebraic specificationinstitution theorystructural induction

Mathematics Subject Classification ID

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

Recommendations

• Logical systems for structured specifications.
• Proof Systems for Institutional Logic
• The equational part of proofs by structural induction
• scientific article; zbMATH DE number 1368950
• An axiomatic approach to structuring specifications

Cites work

• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1998330 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• 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
• CASL: the Common Algebraic Specification Language.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Category-based constraint logic
• Combination of constraint solving techniques: An algebraic point of view
• Conditional rewriting logic as a unified model of concurrency
• Herbrand theorems in arbitrary institutions
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Interpolation for predefined types
• Metamathematics of fuzzy logic
• On quasi-varieties of multiple valued logic models
• On standard completeness for non-commutative many-valued logics
• On the existence of free models in abstract algebraic institutions
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Proving Properties of Programs by Structural Induction
• Quasi-varieties in abstract algebraic institutions
• Residuated Lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Specifications in an arbitrary institution

Cited in

(7)

• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• Partialising institutions
• Preservation in many-valued truth institutions
• Algebra and Coalgebra in Computer Science
• Institution morphisms
• Graded consequence: an institution theoretic study
• Principles of proof scores in CafeOBJ

Describes a project that uses

Uses Software

• CASL
• CafeOBJ
• Maude

This page was built for publication: Structural induction in institutions

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