排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
Elias Zafiris 《Axiomathes》2005,15(2):181-190
Using the concept of adjunction, for the comprehension of the structure of a complex system, developed in Part I, we introduce the notion of covering systems consisting of partially or locally defined adequately understood objects. This notion incorporates the necessary and sufficient conditions for a sheaf theoretical representation of the informational content included in the structure of a complex system in terms of localization systems. Furthermore, it accommodates a formulation of an invariance property of information communication concerning the analysis of a complex system. 相似文献
2.
We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also
a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently,
w.r.t. Kripke sheaves [8]), is described. 相似文献
1