scientific article; zbMATH DE number 3997131
zbMATH Open0615.68002MaRDI QIDQ4723263FDOQ4723263
Authors: Joseph Goguen, Rod Burstall 
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
truthdata abstractiongeneric modulessignatureslogical systemnotationinitial algebragalleriestheorem proversdata constraintsprogramming-in-the-largelogical programming languagemodule hierarchies\(\Sigma \)-models\(\Sigma \)-satisfaction\(\Sigma \)-sentencescharterClear specification languagemany-sorted equational institutionmodel proofsParchmentssentence morphismssentential syntaxsyntax of logic
General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (28)
- Institutions for OCL-like expression languages
- May I borrow your logic? (Transporting logical structures along maps)
- Specifications in an arbitrary institution
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Representing model theory in a type-theoretical logical framework
- Title not available (Why is that?)
- Title not available (Why is that?)
- A 2-categorial generalization of the concept of institution
- Parchments for CafeOBJ logics
- Logical systems for structured specifications.
- Category-based modularisation for equational logic programming
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Institutions of variable truth values: An approach in the ordered style
- Institutions for navigational logics for graphical structures
- Modality in open institutions with concrete syntax
- Category localization semantics for specification refinements
- Annotations in formal specifications and proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- What is a logic translation?
- Term charters
- An institution-independent proof of the Beth definability theorem
- Topological systems as a framework for institutions
- Structured theory presentations and logic representations
- Institutions: abstract model theory for specification and programming
- Category theory and the foundations of mathematics: philosophical excavations.
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Proving and rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723263)
