BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Capítulo em Livro


Título
A short overview of hidden logic

Participantes na publicação
Manuel A. Martins (Author)
Isabel M. A. Ferreirim (Author)
Dep. Matemática
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. \\\\\\\\n "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.''

Editor
Czelakowski, Janusz

Data de Publicação
2018

Instituição
Studia Logica Library

Suporte
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Identificadores da Publicação
ISBN - 9783319747729

Local
Cham, CH

Editora
Springer International Publishing AG

Coleção
Outstanding Contributions to Logic

Edição
1
Volume
16

Número de Páginas
35
Página Inicial
167
Página Final
201

Identificadores do Documento
ISBN - 978-3-319-74772-9
ISBN - 978-3-319-74771-2
DOI - https://doi.org/10.1007/978-3-319-74772-9_6


Exportar referência

APA
Manuel A. Martins, Isabel M. A. Ferreirim, (2018). A short overview of hidden logic. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, 167-201

IEEE
Manuel A. Martins, Isabel M. A. Ferreirim, "A short overview of hidden logic" in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, 2018, pp. 167-201

BIBTEX
@incollection{39506, author = {Manuel A. Martins and Isabel M. A. Ferreirim}, title = {A short overview of hidden logic}, booktitle = {Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science}, year = 2018, pages = {167-201}, address = {Cham, CH}, publisher = {Springer International Publishing AG} }