In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...

In the paper, the notion of a contact relation on de Morgan algebra is defined, the algebraic structure of all contact relations and the connection to the set of all close, reflexive and symmetric relations on all maximal filters are investigated. 2010 AMS Classification: 06D30, 06F30, 54E05, 54H12

It is shown that a random restriction leaving only a fraction " of the input variables unassigned reduces the expected de Morgan formula size of the induced function by a factor of O(" 5? p 3 2) = O("

1077-3142/$ see front matter 2013 Elsevier Inc. A http://dx.doi.org/10.1016/j.cviu.2013.03.003 q This paper has been recommended for acceptance ⇑ Corresponding author. E-mail address: [email protected] (V. Is 1 V. Israel-Jost is now with IHPST, Paris 1, PanthéonIn this paper, we propose a method to extend the multi-phase piecewise-constant segmentation method of Mumford and Shah to t...

The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schröder. Half a century later Tarski, Jónsson, Lyndon, and Monk further developed the calculus from the perspective of modern model theory.

Importance weighted averaging aggregation operators play a key role in utilizations of electronic data and information resources for retrieving, fusing, and extracting information and knowledge, as needed for decision making. Two central issues in the choice of such operators are the kind of importance weighting and the andness (or conjunction degree) of the operator. We present and discuss two...

lCf. John Woods and Douglas Walton, "Ad Hominem", The Philosophical Forum, 1977. These authors distinguish three different types of tu quoque, only one of which is tu quoque in the sense I attend to here. They refer to this type as involving "deontic-praxiological inconsistency", say that it can sometimes constitute a good argument which will successfully shift the burden of proof, and report a...

In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...

An outbreak of small angiomatous lesions with the same clinical and histological features as Campbell de Morgan spots in adults is described. No infective agent was discovered, but their number was found to increase as the ambient temperature rose.

—In [2], I. B. Turksen looked at the Booleandisjunctive normal form of a term in two variables and the Boolean-conjunctive normal form of that term. He concluded that “for some cases of certain families,” when these forms are interpreted in a De Morgan system by replacing the meet by a t-norm and the join by the dual t-conorm, the disjunctive normal form is contained in the conjunctive normal f...