A soft stairway to institutions

Antonino Salibra, Giuseppe Scollo

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    18 Citations (Scopus)
    67 Downloads (Pure)

    Abstract

    The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier translations of order-sorted conditional equational logic and of conditional equational logics for partial algebras into equational type logic are revisited in this light. Model-theoretic results relating to compactness are presented as well.
    Original languageEnglish
    Title of host publicationRecent trends in data type specification
    Subtitle of host publication8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
    EditorsMichel Bidoit, Christine Choppy
    Place of PublicationBerlin, Germany
    PublisherSpringer
    Pages310-329
    Number of pages17
    ISBN (Electronic)978-3-540-47545-3
    ISBN (Print)978-3-540-56379-2
    DOIs
    Publication statusPublished - 1993
    Event8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991: Recent trends in data type specification - Dourdan, France
    Duration: 26 Aug 199130 Aug 1991

    Publication series

    NameLecture notes in computer science
    PublisherSpringer
    Volume655
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991
    CountryFrance
    CityDourdan
    Period26/08/9130/08/91

    Fingerprint Dive into the research topics of 'A soft stairway to institutions'. Together they form a unique fingerprint.

    Cite this