The Ordered Algebraic Structures for Alternative Logic of Classical Logic

Abstract

In this paper we illustrate the idea of the ordering in the algebraic structures for the alternative logic, in particular in the intuitionistic logic that the alternative logic of the classical logic, and its alternative  Brouwer algebra which was developed to Heyting algebra. We investigate some properties of the last one and achieve some results characterizing all of these different algebraic structures.