This study focuses on combining the theories of m -polar fuzzy sets over id="M2"> BCK -algebras and establishing a new framework id="M3"> id="M4"> -algebras. In this paper, we define idea id="M5"> positive implicative ideals in id="M6"> investigate some related properties. Then, introduce concepts id="M7">...

The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...

We discuss the n-fold implicative/fantastic filters in lattice implication algebras, which are extended notions of implicative/fantastic filters. Characterizations of n-fold implicative/fantastic filters are given. Conditions for a filter to be n-fold implicative are provided. Extension property for an n-fold fantastic filter is established.

This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sententia...

In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...

The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...

Let K be a (commutative) locally compact hypergroup with a left Haar measure. Let L1(K) be the hypergroup algebra of K and UCl(K) be the Banach space of bounded left uniformly continuous complex-valued functions on K. In this paper we show, among other things, that the topological (algebraic) center of the Banach algebra UCl(K)* is M(K), the measure algebra of K.

A twistor construction of the hierarchy associated with the hyper-KK ahler equations on a metric (the anti-self-dual Einstein vacuum equations, ASDVE, in four dimensions) is given. The recursion operator R is constructed and used to build an innnite-dimensional symmetry algebra and in particular higher ows for the hyper-KK ahler equations. It is shown that R acts on the twistor data by multipli...

Implicative verbs (e.g. manage) entail their complement clauses, while non-implicative verbs (e.g. want) do not. For example, while managing to solve the problem entails solving the problem, no such inference follows from wanting to solve the problem. Differentiating between implicative and non-implicative verbs is therefore an essential component of natural language understanding, relevant to ...