Outranking relations such as produced by the Electre I or II or the Tactic methods are based on a concordance and non-discordance principle that leads to declaring that an alternative is “superior” to another, if the coalition of attributes supporting this proposition is “sufficiently important” (concordance condition) and if there is no attribute that “strongly rejects” it (non-discordance con...

We define the concept of partiality to cope with partial availability of arguments and results of program steps. To this end, relation algebras are investigated for which, in addition to the identity , a specific type of an ordering E ⊇ is given in order to model increasing degrees of availability. It turns out that functions regulating non-strict transfer of partialities in processes are latti...

If science fiction is a genre, then attempts to think about the nature of science fiction will be affected by one’s understanding of what genres are. I shall examine two approaches to genre, one (genres as regions of conceptual space) dominant but inadequate, the other (genres as historical particulars) better, but only occasionally making itself seen. I shall then discuss several important, in...

It is shown that for 2 ≤ t ≤ n− 3, a strict t-SB(n, n− 1) design does not exist, but for n ≥ 3, a non-strict 2-SB(n, n−1) design exists. The concept of large sets for Steiner triple systems is extended to SB designs and examples of a large sets for SB designs are given.

It is shown that all extensions of S5 modal logic, both in the standard formalization and in the formalization with strict implication, as well as all varieties of monadic algebras have unitary unification.

For a countable family {Tn}n 1 of strictly pseudo-contractions, a strong convergence of viscosity iteration is shown in order to find a common fixed point of {Tn}n 1 in either a p-uniformly convex Banach space which admits a weakly continuous duality mapping or a p-uniformly convex Banach space with uniformly Gâteaux differentiable norm. As applications, at the end of the paper we apply our res...

In this paper, we introduce a new iterative scheme for finding a common element of the set of a solution of an equilibrium problem and the set of fixed points of finite family strict pseudo-contraction mappings in a real Hilbert space. Some strong convergence theorems are established using the iterative scheme. In the meantime, we successfully apply these Theorems to find a common element of th...

We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and independence atoms in formulas. Assuming the so-called lax semantics for these logics, we relate these fragments of inclusion and independence logic to familiar sublogics of existential second-order logic. We also show tha...