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