Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/22957
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ferreirim, Isabel | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2018-04-23T15:37:57Z | - |
dc.date.issued | 2018-02-16 | - |
dc.identifier.isbn | 978-3-319-74771-2 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/22957 | - |
dc.description.abstract | In this paper we review a hidden (sorted) generalization of k-deductive systems - hidden k-logics. They encompass deductive systems as well as hidden equational logics and inequational logics. The special case of hidden equational logics has been used to specify and to verify properties in program development of behavioral systems within the dichotomy visible vs. hidden data. We recall one of the main applications of this work - the study of behavioral equivalence. Related results are obtained through combinatorial properties of the Leibniz congruence relation. In addition we obtain a few new developments concerning hidden equational logic, namely we present a new characterization of the behavioral consequences of a theory. | pt |
dc.language.iso | eng | pt |
dc.publisher | Springer | pt |
dc.relation | info:eu-repo/grantAgreement/FCT/5876/147206/PT | pt |
dc.relation | PIRSES-GA-2012-318986 project GeTFun | pt |
dc.rights | embargoedAccess | por |
dc.subject | Hidden Logic | pt |
dc.title | A short overview of Hidden Logic | pt |
dc.type | bookPart | pt |
degois.publication.firstPage | 167 | pt |
degois.publication.issue | VI | pt |
degois.publication.lastPage | 201 | pt |
degois.publication.location | Cham | pt |
degois.publication.title | Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Outstanding Contributions to Logic | pt |
dc.date.embargo | 2020-02-10T16:00:00Z | - |
dc.identifier.doi | 10.1007/978-3-319-74772-9 6 | pt |
Appears in Collections: | CIDMA - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
IF_MAM_Don.pdf | 470.81 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.