Algorithmic logic is a calculus of programs that allows the expression of semantic properties of programs by appropriate logical formulas.
It provides a framework that enables proving the formulas from the axioms of program constructs such as assignment, iteration and composition instructions and from the axioms of the data structures in question see Mirkowska & Salwicki (1987), Banachowski et al. (1977).
The formalized language of algorithmic logic (and of algorithmic theories of various data structures) contains three types of well formed expressions: Terms - i.e. expressions denoting operations on elements of data structures, formulas - i.e. expressions denoting the relations among elements of data structures, programs - i.e. algorithms - these expressions describe the computations.
For semantics of terms and formulas consult pages on first-order logic and Tarski's semantics.
is the set of possible computations of the program.
This mathematical logic-related article is a stub.
You can help Wikipedia by expanding it.