The theory of abstract algebraic logic has also provided means to classify logics, with most results having been obtained for propositional logics.
The book generalizes abstract algebraic logic to the many-sorted case, but it can also be used as introductory material.
Law, the realists argued, was not a matter of abstract logic but a practical exercise in social engineering.
An abstract logic, for the purpose of Löwenheim numbers, consists of:
Almost nothing is simply true or false in the way that abstract logic requires.
Its seemingly abstract and self-referential logic and character permitted it to remain above the everyday and thus the issues that ordinarily bring people into conflict.
The two main motivations for the development of abstract algebraic logic are closely connected to (1) and (3) above.
His division was based on abstract logic and not on the evidence of the senses.
Wrote the 1941 paper that revived relation algebra, which can be viewed as the starting point of abstract algebraic logic.
Fundamental to this analysis is a connection between the abstract utilitarian logic employed by states and the shape of the territory under their control.