نتایج جستجو برای: de morgan semi

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

2009
Zhen-Guo Xu Hong-Yan Li

In this paper, we shall introduce generalized fuzzy compactness in L-spaces where L is a complete de Morgan algebra. This definition does not rely on the structure of basis lattice L and no distributivity is required. The intersection of a generalized fuzzy compact L-set and a generalized closed Lset is a generalized fuzzy compact L-set. The generalized irresolute image of a generalized fuzzy c...

2005
Adrian Rice

Whereas the research of the 19th-century mathematician Augustus De Morgan in formal logic is fairly familiar to historians of mathematics, his work in probability is largely unknown to the modern reader. For this reason, few would be aware that this work contains a self-admitted error in probabilistic reasoning. This mistake is intriguing not only because it features in the work of someone who ...

Journal: :Studia Logica 1991
Roger D. Maddux

The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schrbder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roge...

1998
K. Humphreys R. Gaizauskas S. Azzam C. Huyck B. Mitchell H. Cunningham Y. Wilks

Journal: :Arch. Math. Log. 2004
George Georgescu Andrei Popescu

The lack of double negation and de Morgan properties makes fuzzy logic unsymmetrical. This is the reason why fuzzy versions of notions like closure operator or Galois connection deserve attention for both antiotone and isotone cases, since they are not dual. This paper offers them attention, comming to the following conclusions: some kind of hardly describable ”local preduality” still makes pos...

2015
Wesley T. Lindsey

Authors: David Gravette, Pharm.D. Candidate, Harrison School of Pharmacy, Auburn University; Morgan Luger, Pharm.D. Candidate, Harrison School of Pharmacy, Auburn University; Jay Moulton, Pharm.D. Candidate, Harrison School of Pharmacy, Auburn University; Wesley T. Lindsey, Pharm.D., Associate Clinical Professor of Pharmacy Practice, Drug Information and Learning Resource Center, Harrison Schoo...

2004
Christopher S. Alexander Amy L. Parsons

The importance of organizational-stakeholder relationships has and continues to be of interest in the organizational studies literature. The relevance of this topic is even greater given the recent governance failures involving Enron, Tyco, and WorldCom. Indeed, an excessive emphasis on stockholders is blamed for the neglect of other legitimate stakeholder groups. We should acknowledge that the...

2006
Fu-Gui Shi

Abstract. A new form of α-compactness is introduced in L-topological spaces by α-open L-sets and their inequality where L is a complete de Morgan algebra. It doesn’t rely on the structure of the basis lattice L. It can also be characterized by means of α-closed L-sets and their inequality. When L is a completely distributive de Morgan algebra, its many characterizations are presented and the re...

2005

1. Set Theory and Basic Probability Properties Set Theory and Events The union of sets A and B: x ∈ A ∪B if and only if x ∈ A or x ∈ B The intersection of sets A and B: x ∈ A ∩B if and only if x ∈ A and x ∈ B The complement of a set A: x ∈ A if and only if x / ∈ A The difference between sets A and B: x ∈ A−B if and only if x ∈ A and x / ∈ B A collection of sets A1, ..., AN is mutually exclusive...

2003
Arie Gurfinkel Marsha Chechik

Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The additional values of the logic are used to capture the degree of uncertainty. In this paper, we show that the multi-valued -calculus model-checking problem is reducible to several classical model-checking problems. The re...

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

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