Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/22957
Título: | A short overview of Hidden Logic |
Autor: | Ferreirim, Isabel Martins, Manuel A. |
Palavras-chave: | Hidden Logic |
Data: | 16-Fev-2018 |
Editora: | Springer |
Resumo: | 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. |
URI: | http://hdl.handle.net/10773/22957 |
DOI: | 10.1007/978-3-319-74772-9 6 |
ISBN: | 978-3-319-74771-2 |
Aparece nas coleções: | CIDMA - Capítulo de livro |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
IF_MAM_Don.pdf | 470.81 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.