The aim of this paper is to introduce the notions of interval valued (∈,∈ ∨q)-fuzzy Boolean (implicative, positive implicative and fantastic) filters in BL-algebras and to investigate some related properties. Some characterizations of these generalized fuzzy filters are derived. Finally, the relations among these generalized fuzzy filters are discussed. It is proved that an interval valued (∈,∈...

Existing research has shown that naive users find it difficult to correctly express queries using the standard Boolean connectives AND, OR, and NOT. We conducted an empirical study examining the query production performance of naive users on four different systems: One of these systems was non-procedural textual (Boolean connectives); another was procedural textual (If-Then-Else), another non-p...

The notion of extended filter of a filter associated to a subset of Rl-monoids is defined and related properties are investigated. Rachunek and Salounova proved that positive implicative filters and Boolean filters in Rl-monoids coincide with a condition in Rachunek and Salounova (Acta Univ Palacki Olomuc Fac rer nat Math 48(1):93–107, 2009). In this paper, we prove that positive implicative fi...

One of the powerful applications of Booiean expression is to allow users to extract relevant information from a database. Unfortunately, previous research has shown that users have difficulty specifying Boolean queries. In an attempt to overcome this limitation, a graphical Filter/Flow representation of Boolean queries was designed to provide users with an interface that visually conveys the me...

The theory of Boolean algebras can be fruitfully applied to judgment aggregation: Assuming universality, systematicity and a sufficiently rich agenda, there is a correspondence between (i) non-trivial deductively closed judgment aggregators and (ii) Boolean algebra homomorphisms defined on the power-set algebra of the electorate. Furthermore, there is a correspondence between (i) consistent com...

Nonlinear filter generators are common components used in the keystream generators for stream ciphers and more recently for authentication mechanisms. They consist of a Linear Feedback Shift Register (LFSR) and a nonlinear Boolean function to mask the linearity of the LFSR output. Properties of the output of a nonlinear filter are not well studied. Anderson noted that the m-tuple output of a no...

instructions Control stack Program Data parallel environment communication association Fig. 2. A heterogeneous associative model. represented as an associative frame, and uses associative vectors to facilitate fast backtracking. The vectors are indexed with respect to the base of the current frame. Variable aliases are indicated by filter vectors and are tracked by the alias management table. T...

We present several results that show that systematic (complete) judgment aggregators can be viewed as both (2-valued) Boolean homomorphisms and as syntatic versions of reduced (ultra)products. Thereby, Arrovian judgment aggregators link the Boolean algebraic structures of (i) the set of coalitions (ii) the agenda, and (iii) the set of truth values of collective judgments. Since filters arise na...