Please use this identifier to cite or link to this item:
|Title:||A short overview of Hidden Logic|
Martins, Manuel A.
|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.|
|Appears in Collections:||CIDMA - Capítulo de livro|
Files in This Item:
|IF_MAM_Don.pdf||470.81 kB||Adobe PDF|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.