Behavioral equivalence of hidden k -logics: An abstract algebraic approach

Sergey Babenyshev, Manuel A. Martins
2016 Journal of Applied Logic  
This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruencethe central notion in AAL. In this paper we discuss a
more » ... stion we posed in [2] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.
doi:10.1016/j.jal.2016.03.002 fatcat:lsbvjqsey5bdbalrlkgui4k7la