Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/5547
Title: | Closure properties for the class of behavioral models |
Author: | Martins, Manuel A. |
Keywords: | Behavioral equivalence Behavioral specification Equivalential logic Hidden equational logic Leibniz operator Abstracting Computer programming Equivalence classes Behavioral equivalence Behavioral specification Equivalential logic Hidden equational logic Leibniz operator Formal logic |
Issue Date: | 2007 |
Publisher: | Elsevier |
Abstract: | Hidden k-logics can be considered as the underlying logics of program specification. They constitute natural generalizations of k-deductive systems and encompass deductive systems as well as hidden equational logics and inequational logics. In our abstract algebraic approach, the data structures are sorted algebras endowed with a designated subset of their visible parts, called filter, which represents a set of truth values. We present a hierarchy of classes of hidden k-logics. The hidden k-logics in each class are characterized by three different kinds of conditions, namely, properties of their Leibniz operators, closure properties of the class of their behavioral models, and properties of their equivalence systems. Using equivalence systems, we obtain a new and more complete analysis of the axiomatization of the behavioral models. This is achieved by means of the Leibniz operator and its combinatorial properties. © 2007 Elsevier Ltd. All rights reserved. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/5547 |
DOI: | 10.1016/j.tcs.2007.01.024 |
ISSN: | 03043975 |
Appears in Collections: | DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
CPBM200208.pdf | Preprint | 384.46 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.