Representing large boolean sets has many important application areas, including hardware verification. There are two main approaches: the characteristic and parametric representation. This note describes the approaches and briefly compares them

A group action is semifree if it is free away from its fixed-point set. P. A. Smith showed that when a finite group of order q acts semifreely on a sphere, the fixed set is a mod q homology sphere. Conversely, given a mod q homology sphere as a subset of a sphere, one may try to construct a group action on the sphere fixing the subset. The converse question was first systematically studied by J...

We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different languages and has been applied within various software and projects. It permitted to solve formerly unsolved problems.

In reply to Péter Majlender, the connection between the (maximum spread) equidifferent OWA operator weights and the analytical method for the minimum variance OWA operator problem [R. Fullér, P. Majlender, On obtaining minimal variability OWA operator weights, Fuzzy Sets and Systems 136 (2003) 203–215] is pointed out and the differences between them are clarified. 2006 Elsevier Inc. All rights ...

We reformulate Mesiar’s hypothesis [Possibility measures, integration and fuzzy possibility measures, Fuzzy Sets and Systems 92 (1997) 191196], which as such was shown to be untrue by Murofushi [Two-valued possibility measures induced by σ-finite σ-additive measures, Fuzzy Sets and Systems 126 (2002) 265268]. We prove that a two-valued σ-maxitive measure can be induced by a σ-additive measure u...

It is shown that, for any spatial frame L (i.e., L is a complete lattice generated by the set of all prime elements), both the specialization L-preorder of L-topological spaces introduced by Lai and Zhang [Fuzzy preorder and fuzzy topology, Fuzzy Sets and Systems 157 (2006) 1865–1885] and that of L-fuzzifying topological spaces introduced by Fang and Qiu [Fuzzy orders and fuzzifying topologies,...

In 2011, Mallozzi et al. [Fuzzy Sets and Systems 165(2011) 98105] introduced a core-like concept (called F-core) and a balanced-like condition for games in which the worth of any coalition is given by means of a fuzzy interval. They proved that a balanced-like condition is necessary but not sufficient enough to guarantee the F-core to be non-empty. In this paper, we study deeply on this problem...