DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Artigos >
 Closure properties for the class of behavioral models
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
authors: 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.
URI: http://hdl.handle.net/10773/5547
ISSN: 03043975
publisher version/DOI: http://dx.doi.org/10.1016/j.tcs.2007.01.024
source: Theoretical Computer Science
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
CPBM200208.pdfPreprint384.46 kBAdobe PDFview/open
statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2