Logical systems for structured specifications.
type: Item
instance of: scholarly article
title: Logical systems for structured specifications.
zbMATH Open document ID: 1061.68104
DOI: 10.1016/S0304-3975(01)00317-6
author: Tomasz Borzyszkowski
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1857003
zbMATH Keywords: Algebraic specifications
zbMATH Keywords: Formal languages
zbMATH Keywords: Formal semantics
zbMATH Keywords: Interpolation property
zbMATH Keywords: Logical systems
zbMATH Keywords: Specification languages
describes a project that uses: CoFI
MaRDI profile type: Publication
cites work: Q4312481
cites work: Simple consequence relations
cites work: Module algebra
cites work: Q3839053
cites work: Q4941923
cites work: Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
cites work: Q3731650
cites work: Q4875304
cites work: May I borrow your logic? (Transporting logical structures along maps)
cites work: Model theory
cites work: Q3906394
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3737481
cites work: Constructor-based observational logic
cites work: Structured theory presentations and logic representations
cites work: Q4255593
cites work: Q5536619
cites work: Interpolation and compactness in categories of pre-institutions
cites work: Q3042444
cites work: Toward formal development of programs from algebraic specifications: Parameterisation revisited
cites work: Specifications in an arbitrary institution
cites work: Essential concepts of algebraic specification and program development
cites work: Q3776610
cites work: Towards heterogeneous specifications
full work available at URL: s0304-3975(01)00317-6
OpenAlex ID: W1997753816
description: scientific article; zbMATH DE number 1857003