نتایج جستجو برای: quintasymptotic prime

تعداد نتایج: 43058  

2006
Mladen Vuković M. Vuković

In this paper we determine a characteristic class of ILsetframes for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.

Journal: :CoRR 2009
Chandra Nair

We establish an information theoretic inequality concerning the binary skew-symmetric channel that was conjectured in [1]. This completes the proof that there is a gap between the inner bound[2] and the outer bound[3] for the 2receiver broadcast channel; and constitutes the first example of a provable gap between the bounds. The interesting aspect of the proof is the technique employed, and is ...

1995
Jan Ekman

In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in propositional logic makes propositional logic non-normalizable. From this follows that some provable propositions in propositional logic has no direct proof.

2015
Gilles Dowek Ying Jiang

We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.

Let G be a (p, q) graph. Let f : V (G) → {1, 2, . . . , k} be a map. For each edge uv, assign the label gcd (f(u), f(v)). f is called k-prime cordial labeling of G if |vf (i) − vf (j)| ≤ 1, i, j ∈ {1, 2, . . . , k} and |ef (0) − ef (1)| ≤ 1 where vf (x) denotes the number of vertices labeled with x, ef (1) and ef (0) respectively denote the number of edges labeled with 1 and not labeled with 1....

Journal: :Boletim da Sociedade Paranaense de Matemática 2017

پایان نامه :دانشگاه تربیت معلم - سبزوار - پژوهشکده ریاضیات 1389

اساس نظریه مجموعه های ناهموار، بدین صورت است که برای هر زیرمجموعه از یک مجموعه کلی، با استفاده از یک رابه هم ارزی، یک زوج مرتب از مجموعه ها را معرفی می کند. هر موفه را به ترتیب، تقریب پایینی و بالایی می نامند. تقریب پایین از یک زیرمجموعه،اجتماع تمام عناصری از مجموعه ی کلی است که کلاس هم ارزی مربوط به آن عنصر، در زیرمجموعه ی مورد نظر قرار گیرد و همچنین، تقریب بالا از آن زیرمجموعه، اجتماع تمام عن...

‎‎Let $R$ be a multiplicative hyperring‎. In this paper‎, ‎we introduce and study the concept of n-absorbing hyperideal which is a generalization‎ ‎of prime hyperideal‎. ‎A proper hyperideal $I$ of $R$ is called an $n$-absorbing hyperideal of ‎$‎R‎$‎ if whenever $alpha_1o...oalpha_{n+1} subseteq I$ for $alpha_1,...,alpha_{n+1} in R$‎, ‎then there are $n$ of the $alpha_i^,$s whose product ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید