Title: Remarks on Many-Sorted Equational Logic with respect to Algebraic Implementations
Authors: Van Gestel, Eric ×
Van Horebeek, Ivo
Lewi, Johan #
Issue Date: Jan-1988
Publisher: ACM Press
Series Title: SIGPLAN notices vol:23 issue:1 pages:120-126
Abstract: Conventional logic is no longer valid for a formalism based on abstraction functions. It is our contention this is not a problem inherent to the implementation formalism but to an inappropriateness of conventional equational reasoning for dealing with abstract functions. Based on the approach of Goguen for generalising one-sorted equational logic to many-sorted equational logic, we propose an augmented set of deduction rules designated to take abstraction functions into account. Theses rules are a proper generaralisation of those given by Goguen in that, in the absense of abstraction functions, they are identical.
ISSN: 0362-1340
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science