Logical systems for structured specifications
- 1 September 2002
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 286 (2) , 197-245
- https://doi.org/10.1016/s0304-3975(01)00317-6
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Algebraic Foundations of Systems SpecificationPublished by Springer Nature ,1999
- Observational LogicPublished by Springer Nature ,1998
- May I borrow your logic? (Transporting logical structures along maps)Theoretical Computer Science, 1997
- Interpolation and compactness in categories of pre-institutionsMathematical Structures in Computer Science, 1996
- Structured theory presentations and logic representationsAnnals of Pure and Applied Logic, 1994
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Simple consequence relationsInformation and Computation, 1991
- Module algebraJournal of the ACM, 1990
- Structured theories in LCFPublished by Springer Nature ,1983
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982