Structural induction in institutions

DOI10.1016/J.IC.2011.06.002zbMATH Open1241.03073OpenAlexW2090789875MaRDI QIDQ719243FDOQ719243

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

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

zbMATH Keywords

algebraic specificationinstitution theorystructural induction

Mathematics Subject Classification ID

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

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Title not available (Why is that?)
• Residuated Lattices
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Quasi-varieties in abstract algebraic institutions
• Herbrand theorems in arbitrary institutions
• Title not available (Why is that?)
• Conditional rewriting logic as a unified model of concurrency
• On quasi-varieties of multiple valued logic models
• Specifications in an arbitrary institution
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Title not available (Why is that?)
• An Oxford survey of order sorted algebra
• On the existence of free models in abstract algebraic institutions
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• CASL: the Common Algebraic Specification Language.
• Proving Properties of Programs by Structural Induction
• Title not available (Why is that?)
• Title not available (Why is that?)
• On standard completeness for non-commutative many-valued logics
• Interpolation for predefined types
• Title not available (Why is that?)
• Category-based constraint logic
• Combination of constraint solving techniques: An algebraic point of view

Cited In (7)

• Principles of proof scores in CafeOBJ
• Partialising institutions
• Graded consequence: an institution theoretic study
• Institution morphisms
• Preservation in many-valued truth institutions
• Title not available (Why is that?)
• Algebra and Coalgebra in Computer Science

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)