The present work is intended to be an informal introduction to the theory of abstract logi- cal groups. This particular formalization stems from some concepts of abstract algebra and the Johnson-Keynes’s theory of groups. Therefore the aim of this paper is that of provide the readers with the...