共查询到19条相似文献,搜索用时 62 毫秒
1.
2.
3.
4.
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,证明了在表达能力上,monadic型的分划逻辑严格地弱于monadic二阶逻辑。 相似文献
5.
证明了LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑.这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的一种方法. 相似文献
6.
引入BIK -逻辑的概念,证明了BIK -逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK -逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。 相似文献
7.
8.
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理. 相似文献
9.
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理. 相似文献
10.
为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。 相似文献
11.
讨论泛逻辑的零级泛运算模型的基本代数性质。证明T(x,y,^)是阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对;当h∈(0,0.75)时,有界格([0,1],∨,∧,,*,→0,1)做成一个MV-代数;当h∈(0.75,1)时,有界格([0,1],∨,∧,*,→0,1)做成一个乘积代数。进一步,给出了零级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。 相似文献
12.
Y.O. Hamidoune 《Journal of Combinatorial Theory, Series A》2010,117(7):974-980
Let Γ=(V,E) be a reflexive relation with a transitive automorphism group. Let F be a finite subset of V containing a fixed element v. We prove that the size of Γ(F) (the image of F) is at least
|F|+|Γ(v)|−|Γ−(v)∩F|. 相似文献
13.
14.
For a set A of positive integers and any positive integer n, let R1(A,n), R2(A,n) and R3(A,n) denote the number of solutions of a+a′=n with the additional restriction a,a′∈A; a,a′∈A,a<a′ and a,a′∈A,a≤a′ respectively. In this paper, we specially focus on the monotonicity of R3(A,n). Moreover, we show that there does not exist any set A⊂N such that R2(A,n) or R3(A,n) is eventually strictly increasing. 相似文献
15.
16.
17.
18.
An index , length quasi-cyclic code can be viewed as a cyclic code of length over the field via a basis of the extension . However, this cyclic code is only linear over , making it an additive cyclic code, or an -linear cyclic code, over the alphabet . This approach was recently used in Shi et al. (2017) [16] to study a class of quasi-cyclic codes, and more importantly in Shi et al. (2017) [17] to settle a long-standing question on the asymptotic performance of cyclic codes. Here, we answer one of the problems posed in these two articles, and characterize those quasi-cyclic codes which have -linear cyclic images under a basis of the extension . Our characterizations are based on the module structure of quasi-cyclic codes, as well as on their CRT decompositions into constituents. In the case of a polynomial basis, we characterize the constituents by using the theory of invariant subspaces of operators. We also observe that analogous results extend to the case of quasi-twisted codes. 相似文献