BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
A short overview of hidden logic

Participants in the publication
Manuel A. Martins (Author)
Isabel M. A. Ferreirim (Author)
Dep. Matemática
Summary
"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(s)
Czelakowski, Janusz

Date of Publication
2018

Institution
Studia Logica Library

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

Publication Identifiers
ISBN - 9783319747729

Address
Cham, CH

Publisher
Springer International Publishing AG

Collection
Outstanding Contributions to Logic

Edition
1
Volume
16

Number of pages
35
Starting page
167
Last page
201

Document Identifiers
ISBN - 978-3-319-74772-9
ISBN - 978-3-319-74771-2
DOI - https://doi.org/10.1007/978-3-319-74772-9_6


Export

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} }