A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on side. In this work we leverage recently developed graphical representations formulae to build an implementation that capable more efficiently searching for switch-medial-independent inferences. We use it find four `minimal' 8-variable independent inferences and also prove no smaller ones ex...

Many-valued models, besides providing a natural semantical interpretation for several non-classical logics, constitute a very sharp tool for investigating and understanding meta-logical properties in general. Although open to debates from the philosophical perspective, seen from the mathematical viewpoint many-valued matrices and algebras are perfectly well-defined mathematical objects with sev...

in this note the notion of interval-valued fuzzy b-algebras (briefly,i-v fuzzy b-algebras), the level and strong level b-subalgebra is introduced.then we state and prove some theorems which determine the relationshipbetween these notions and b-subalgebras. the images and inverse images ofi-v fuzzy b-subalgebras are defined, and how the homomorphic images andinverse images of i-v fuzzy b-subalge...

In this paper we introduce the notion of $varphi$-commutativity for a Banach algebra $A$, where $varphi$ is a continuous homomorphism on $A$ and study the concept of $varphi$-weak amenability for $varphi$-commutative Banach algebras. We give an example to show that the class of $varphi$-weakly amenable Banach algebras is larger than that of weakly amenable commutative Banach algebras. We charac...

Starting with the motivating example of Stone’s representation theorem that allows one to represent Boolean algebras as subalgebras of the poweralgebra of a sufficiently large set, we ask the question of whether it is possible to generalize this to a relationship between lattice theory and topology. This can be done by considering special lattices called locales, which are, in a sense, a suitab...

In  this paper we define the $p$-analog of the restericted reperesentations and also the $p$-analog of the Fourier--Stieltjes algebras on the inverse semigroups . We improve some results about Herz algebras on Clifford semigroups. At the end of this paper we give the necessary and sufficient condition for amenability of these algebras on Clifford semigroups.