scientific article
From MaRDI portal
Publication:3042444
zbMath0527.68070MaRDI QIDQ3042444
Donald Sannella, Rod M. Burstall
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstractionrenamingtheory constructionstructured theoriesextension to the Edinburgh LCF interactive theorem-proving systemparameterised theoriesprimitive theorytheory-building operations
Related Items
Structured theory presentations and logic representations ⋮ Structured algebraic specifications: A kernel language ⋮ On observational equivalence and algebraic specification ⋮ Proof systems for structured algebraic specifications: An overview ⋮ A higher-order calculus and theory abstraction ⋮ Specifications in an arbitrary institution ⋮ Essential concepts of algebraic specification and program development ⋮ Logic representation in LF ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Proof systems for structured specifications with observability operators ⋮ Temporal theories as modularisation units for concurrent system specification ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ A set-theoretic semantics for Clear ⋮ Logical systems for structured specifications.
