A soft stairway to institutions

Antonino Salibra; Giuseppe Scollo

doi:10.1007/3-540-56379-2_47

A soft stairway to institutions

Antonino Salibra, Giuseppe Scollo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

19 Citations (Scopus)

137 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 language	English
Title of host publication	Recent trends in data type specification
Subtitle of host publication	8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
Editors	Michel Bidoit, Christine Choppy
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	310-329
Number of pages	17
ISBN (Electronic)	978-3-540-47545-3
ISBN (Print)	978-3-540-56379-2
DOIs	https://doi.org/10.1007/3-540-56379-2_47
Publication status	Published - 1993
Event	8th 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 1991 → 30 Aug 1991

Publication series

Name	Lecture notes in computer science
Publisher	Springer
Volume	655
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991
Country/Territory	France
City	Dourdan
Period	26/08/91 → 30/08/91

Access to Document

10.1007/3-540-56379-2_47

Salibra1991softFinal published version, 1.11 MB

Cite this

Salibra, A., & Scollo, G. (1993). A soft stairway to institutions. In M. Bidoit, & C. Choppy (Eds.), Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers (pp. 310-329). (Lecture notes in computer science; Vol. 655). Springer. https://doi.org/10.1007/3-540-56379-2_47

Salibra, Antonino ; Scollo, Giuseppe. / A soft stairway to institutions. Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers. editor / Michel Bidoit ; Christine Choppy. Berlin, Germany : Springer, 1993. pp. 310-329 (Lecture notes in computer science).

@inproceedings{ebf9d800e79e44668018564c738f9b9b,

title = "A soft stairway to institutions",

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.",

author = "Antonino Salibra and Giuseppe Scollo",

year = "1993",

doi = "10.1007/3-540-56379-2_47",

language = "English",

isbn = "978-3-540-56379-2",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "310--329",

editor = "Michel Bidoit and Christine Choppy",

booktitle = "Recent trends in data type specification",

note = "8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991 : Recent trends in data type specification ; Conference date: 26-08-1991 Through 30-08-1991",

}

Salibra, A & Scollo, G 1993, A soft stairway to institutions. in M Bidoit & C Choppy (eds), Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers. Lecture notes in computer science, vol. 655, Springer, Berlin, Germany, pp. 310-329, 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991, Dourdan, France, 26/08/91. https://doi.org/10.1007/3-540-56379-2_47

A soft stairway to institutions. / Salibra, Antonino; Scollo, Giuseppe.
Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers. ed. / Michel Bidoit; Christine Choppy. Berlin, Germany: Springer, 1993. p. 310-329 (Lecture notes in computer science; Vol. 655).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A soft stairway to institutions

AU - Salibra, Antonino

AU - Scollo, Giuseppe

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-56379-2_47

DO - 10.1007/3-540-56379-2_47

M3 - Conference contribution

SN - 978-3-540-56379-2

T3 - Lecture notes in computer science

SP - 310

EP - 329

BT - Recent trends in data type specification

A2 - Bidoit, Michel

A2 - Choppy, Christine

PB - Springer

CY - Berlin, Germany

T2 - 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop 1991

Y2 - 26 August 1991 through 30 August 1991

ER -

Salibra A, Scollo G. A soft stairway to institutions. In Bidoit M, Choppy C, editors, Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers. Berlin, Germany: Springer. 1993. p. 310-329. (Lecture notes in computer science). doi: 10.1007/3-540-56379-2_47

A soft stairway to institutions

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this