نتایج جستجو برای: de morgan
تعداد نتایج: 1537501 فیلتر نتایج به سال:
Resume One of the characteristics of Indigenous writing around the world may be the use of oral features as deliberate techniques in literary production. The author considers the work of Patricia Grace (of New Zealand), Sally Morgan (Australia) and Marie Annharte Baker (from Canada) in these terms. Une des caractéristiques des oeuvres indigènes autour du monde peut être l'usage des traits oraux...
The main purpose of this paper is to axiomatize the join of the variety DPCSHC of dually pseudocomplemented semi-Heyting algebras generated by chains and the variety generated by D2, the De Morgan expansion of the four element Boolean Heyting algebra. Toward this end, we first introduce the variety DQDLNSH of dually quasi-De Morgan linear semi-Heyting algebras defined by the linearity axiom and...
In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once the translation is extended to proofs, it obtains a reduction of provability to provability in the disjunction-free subsystem. It is natural to ask whether a r...
This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied w...
Note: the pagination is diierent in the published version We continue our study of the negation-free structure of multiplicative linear logic, as represented by the structure of weakly distributive categories, to consider the \exponentials" ! and ? in the weakly distributive context. In addition to the usual triple and cotriple structure that one would expect on each of the two operators, there...
We study several classes of polynomials, which are related to the Chebyshev, Morgan-Voyce, Horadam and Jacobsthal polynomials. Thus, we unify some of well-known results.
In this paper, we explore general relationships among negations, convex Archimedean nilpotent t-norms, and automorphisms of the unit interval I. Each nilpotent t-norm has a (strong) negation naturally associated with it, namely, 4 (x) = W fy 2 [0; 1] : x4 y = 0g. The same negation is determined by the formula 4 (x) = f 1 (f (0) =f (x)) where f is a (multiplicative) generating function for the t...
Let f be a de Morgan read-once function of n variables. Let f " be the random restriction obtained by independently assigning to each variable of f, the value 0 with probability (1 ? ")=2, the value 1 with the same probability, and leaving it unassigned with probability ". We show that f " depends, on the average, on only O(" n + "n 1==) variables, where = log p 5?1 2 ' 3:27. This result is asy...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید