This paper discusses a new strategy to decide Dummett logic. The strategy relies on a tableau calculus whose distinguishing features are the rules for implicative formulas. The strategy has been implemented and the experimental results are reported.

In this paper, we introduce the notionofWajsberg implicative ideal(WI-ideal)of lattice Wajsberg algebra.Further, we definelattice H-Wajsberg algebra, implication homomorphismand lattice implication homomorphism oflattice Wajsberg algebra. Finally, we give kernel of implication homomorphism and obtain some oftheir properties.

our aim in this paper is to introduce the notion of fuzzy soft near-subtraction semigroupsand fuzzy soft ideals of near-subtraction semigroups. we discuss some important properties of these new fuzzy algebraic structure and investigate some examples and counter examples.

Two Divisibility Tests for Smarandache semigroups are given . Further, the notion of divisibility of elements in a semigroup is applied to characterize the Smarandache semigroups. Examples are provided for justification.

In this paper we propose a general recipe for calculating the automorphism groups of semigroups consisting of partial endomorphisms of relational structures with a single m-ary relation for any m ∈ N over a finite set. We use this recipe to determine the automorphism groups of the following semigroups: the full transformation semigroup, the partial transformation semigroup, and the symmetric in...

in [1,2,3], a. c. baker and j.w. baker studied the subspace ma(s) of the convolution measure algebra m, (s) of a locally compact semigroup. h. dzinotyiweyi in [5,7] considers an analogous measure space on a large class of c-distinguished topological semigroups containing all completely regular topological semigroups. in this paper, we extend the definitions to study the weighted semigroup algeb...