نتایج جستجو برای: de morgan semi heytingalgebra
تعداد نتایج: 1674008 فیلتر نتایج به سال:
1 Ward, Morgan, "Memoir on Elliptic Divisibility Sequences," Am. J. Math., 70, 31-74 (1948). 2 Ward, Morgan, "Arithmetical Properties of Polynomials Associated with the Lemniscate Elliptic Functions," PROC. NATL. ACAD. Sci., 36, 359-362 (1950). 3 For the three-term sigma formula, and all of the formulas of the previous paragraph, cf. Tannery and Molk, Pl1ments de la theorie des fonctions ellipt...
en utilisant des elements semi-conducteurs et circuits integre's, nous avons developpe un periodimetre pour ie reacteur de recherche de teheran.nous mesurons tout d'abord, la densit moyenne de flux de neutrons par une chambre d'ionisation . ces neutrons sont produits par la fission des noyaux des atomes de l'uranium. le courant de la chambre est proportionel a 1a puissance d...
The term “eponym” originates from the Greek word “eponymous”, which means “named after”. Dermatology literature is rich in eponyms [1]. In this communication, we aimed to highlight on selected eponyms in dermatology literature linked to the vascular tumors, which we listed it in in Table I [1-7]. However, we want to stress that this table is by no mean conclusive as some eponyms linked to vascu...
Refine is a tool that supports the application of Morgan’s refinement calculus. It was designed to support teaching and use by beginners; it is already in use. We describe here the extension of Refine to support the development of (possibly recursive) procedures in the algebraic style of the refinement calculus already adopted by Refine. Resumo. Refine é uma ferramenta que suporta a aplicação d...
We describe representations of certain superconformal algebras in the semi-infinite Weil complex related to the loop algebra of a complex finite-dimensional Lie algebra and in the semi-infinite cohomology. We show that in the case where the Lie algebra is endowed with a nondegenerate invariant symmetric bilinear form, the relative semi-infinite cohomology of the loop algebra has a structure, wh...
This paper presents an ongoing work on ontology learning from text, focusing on the acquisition of concepts and relations. In order to do that, this work investigates approaches for ontology learning, and presents a proposal based on graphs metrics to identify concepts, and text analysis to find relations between the concepts. Resumo. Este artigo apresenta um trabalho em andamento na área de ap...
In 1860, Augustus de Morgan published DeM60], thereby launching an investigation into the algebra of relations. This developed into the subject now called Algebraic Logic, though in the 19th century it was simply thought of as mathematical logic. This work, along with Frege's quantiier logic, became the foundation of modern logic and model theory. In De Morgan's writing there is no sharp separa...
Translational Cancer Research Unit Antwerp, Oncology Center, General Hospital Sint-Augustinus, Wilrijk, Belgium 2 Department Oncology, KU Leuven, Leuven, Belgium 3 Morgan Welch Inflammatory Breast Cancer Program and Clinic, The University of Texas MD Anderson Cancer Center, Houston, TX, USA Département d'Oncologie Moléculaire, Centre de Recherche en Cancérologie de Marseille, UMR891 Inserm, Ins...
(1) Elkan’s proof uses too strong a notion of logical equivalence. The particular equivalence he considers, while valid in Boolean algebra, has nothing to do with fuzzy logic. (2) Elkan claims that De Morgan’s algebra “allows very little reasoning about collections of fuzzy assertions,” although he correctly states that when logical equivalence is restricted to De Morgan algebra equalities’ “co...
We study clones on a four-element set related to the clone $${\mathsf {DMA}}$$ of all term functions subdirectly irreducible De Morgan algebra $${\mathbf {DM}}_{{{\mathbf {4}}}}$$ . find generating sets for preserving subalgebras , automorphisms truth order and information as well defined by conjunctions these conditions. identify covers in lattice four-valued describe above which contain discr...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید