scientific article; zbMATH DE number 3997131
From MaRDI portal
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
Recommendations
Cited in
(28)- Term charters
- scientific article; zbMATH DE number 4043230 (Why is no real title available?)
- Parchments for CafeOBJ logics
- Category localization semantics for specification refinements
- Annotations in formal specifications and proofs
- Logical systems for structured specifications.
- Category theory and the foundations of mathematics: philosophical excavations.
- May I borrow your logic? (Transporting logical structures along maps)
- scientific article; zbMATH DE number 683360 (Why is no real title available?)
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Institutions for OCL-like expression languages
- What is a logic translation?
- scientific article; zbMATH DE number 4037182 (Why is no real title available?)
- Institutions: abstract model theory for specification and programming
- Specifications in an arbitrary institution
- Category-based modularisation for equational logic programming
- Institutions of variable truth values: An approach in the ordered style
- Institutions for navigational logics for graphical structures
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Representing model theory in a type-theoretical logical framework
- Proving and rewriting
- An institution-independent proof of the Beth definability theorem
- Topological systems as a framework for institutions
- Structured theory presentations and logic representations
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- scientific article; zbMATH DE number 3999262 (Why is no real title available?)
- Modality in open institutions with concrete syntax
- A 2-categorial generalization of the concept of institution
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)
