共查询到4条相似文献,搜索用时 0 毫秒
1.
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction
and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an
equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that
equality of proofs is induced by coherence, understood as the existence of a faithful functor from a syntactical category
into a category whose arrows correspond to diagrams. Edges in these diagrams join occurrences of variables that must remain
the same in every generalization of the proof. It is found that assumptions about equality of proofs for equality are parallel
to standard assumptions about equality of arrows in categories. They reproduce standard categorial assumptions on a different
level. It is also found that assumptions for a preordering relation involve an adjoint situation.
相似文献
2.
本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立. 相似文献
3.
本针对逻辑环随机服务模型中实际存在的站点负荷非均衡现象,(1)阐述该类系统的特点和基本要求;(2)分析已有单一服务策略和设置优先站点服务策略的局限性;(3)与分布系统的负荷分配和均衡问题进行对比;(4)探讨克服原有服务策略的不足,提高系统性能的着眼点;(5)分析新提出的服务策略。 相似文献
4.
B. N. Khabibullin 《Functional Analysis and Its Applications》2004,38(1):52-64
Let I be a closed submodule over a polynomial ring in a space of holomorphic functions on a domain in the complex plane. We establish sufficient conditions under which I is generated by two functions or two special submodules. As a corollary, it follows from these results that if an invariant subspace W C
(a,b) (with respect to the differentiation operator) admits spectral synthesis, then it is the solution space of a system of two homogeneous convolution equations. 相似文献