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.

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...

We introduce the notion of ideals in implicative semigroups, and then state the characterizations of the ideals. 2000 Mathematics Subject Classification. 20M12, 06F05, 06A06, 06A12.

The main aim of this work is to introduce and study the notions ideal direct product d-algebras, d-ideal sub-direct edge positive implicative d-algebras investigate their characterizations.