排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems. 相似文献
2.
We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted
behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability
of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including
non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to
the standard approach, while also bringing a new algebraic perspective to logics which are algebraizable using the standard
tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version
of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization
results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach.
Presented by Daniele Mundici 相似文献
3.
4.
We define and study abstract valuation semantics for logics, an algebraically well-behaved version of valuation semantics. Then, in the context of the behavioral approach to the algebraization of logics, we show, by means of meaningful bridge theorems and application examples, that abstract valuations are suited to play a role similar to the one played by logical matrices in the traditional approach to algebraization. 相似文献
1