 The following diagram helps to locate algorithmic logic among other logics.formula_1
The formalized language of algorithmic logic (and of algorithmic theories of various data structures) contains three types of well formed expressions