Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic .
Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator .
Calculus of relations.
A homogeneous binary relation is found in the power set of "X" × "X" for some set "X", while a heterogeneous relation is found in the power set of "X" × "Y", where "X" ≠ "Y". Whether a given relation holds for two individuals is one bit of information, so relations are studied with Boolean arithmetic. Elements of the power set are partially ordered by inclusion, and lattice of these sets becomes an algebra through "relative multiplication" or composition of relations.
"The basic operations are set-theoretic union, intersection and complementation, the relative multiplication, and conversion."
The "conversion" refers to the converse relation that always exists, contrary to function theory. A given relation may be represented by a logical matrix; then the converse relation is represented by the transpose matrix. A relation obtained as the composition of two others is then represented by the logical matrix obtained by matrix multiplication using Boolean arithmetic.
Example.
An example of calculus of relations arises in erotetics, the theory of questions. In the universe of utterances there are statements "S" and questions "Q". There are two relations π and α from "Q" to "S": "q" α "a" holds when "a" is a direct answer to question "q". The other relation, "q" π "p" holds when "p" is a presupposition of question "q". The converse relation πT runs from "S" to "Q" so that the composition πT;α is a homogeneous relation on "S". The art of putting the right question to elicit a sufficient answer is recognized in Socratic method dialogue.
Functions.
The description of the key binary relation properties has been formulated with the calculus of relations. The univalence property of functions describes a relation formula_1 that satisfies the formula formula_2 where formula_3 is the identity relation on the range of formula_1. The injective property corresponds to univalence of formula_5, or the formula formula_6 where this time formula_3 is the identity on the domain of formula_1.
But a univalent relation is only a partial function, while a univalent total relation is a function. The formula for totality is formula_9 Charles Loewner and Gunther Schmidt use the term mapping for a total, univalent relation.
The facility of complementary relations inspired Augustus De Morgan and Ernst Schröder to introduce equivalences using formula_10 for the complement of relation formula_1. These equivalences provide alternative formulas for univalent relations (formula_12), and total relations (formula_13). 
Therefore mappings satisfy the formula formula_14 Schmidt uses this principle as "slipping below negation from the left". For a mapping formula_15
Abstraction.
The relation algebra structure, based in set theory, was transcended by Tarski with axioms describing it. Then he asked if every algebra satisfying the axioms could be represented by a set relation. The negative answer opened the frontier of abstract algebraic logic.
Algebras as models of logics.
Algebraic logic treats algebraic structures, often bounded lattices, as models (interpretations) of certain logics, making logic a branch of order theory.
In algebraic logic:
In the table below, the left column contains one or more logical or mathematical systems, and the algebraic structure which are its models are shown on the right in the same row. Some of these structures are either Boolean algebras or proper extensions thereof. Modal and other nonclassical logics are typically modeled by what are called "Boolean algebras with operators."
Algebraic formalisms going beyond first-order logic in at least some respects include:
History.
Algebraic logic is, perhaps, the oldest approach to formal logic, arguably beginning with a number of memoranda Leibniz wrote in the 1680s, some of which were published in the 19th century and translated into English by Clarence Lewis in 1918. But nearly all of Leibniz's known work on algebraic logic was published only in 1903 after Louis Couturat discovered it in Leibniz's Nachlass. and translated selections from Couturat's volume into English.
Modern mathematical logic began in 1847, with two pamphlets whose respective authors were George Boole and Augustus De Morgan. In 1870 Charles Sanders Peirce published the first of several works on the logic of relatives. Alexander Macfarlane published his "Principles of the Algebra of Logic" in 1879, and in 1883, Christine Ladd, a student of Peirce at Johns Hopkins University, published "On the Algebra of Logic". Logic turned more algebraic when binary relations were combined with composition of relations. For sets "A" and "B", relations were first understood as elements of the power set of "A"×"B" with properties described by Boolean algebra. The "calculus of relations" is arguably the culmination of Leibniz's approach to logic. At the Hochschule Karlsruhe the calculus of relations was described by Ernst Schröder. In particular he formulated Schröder rules, though De Morgan had anticipated them with his Theorem K.
The "Boole–Schröder algebra of logic" was developed at University of California, Berkeley in a textbook by Clarence Lewis in 1918. He treated the logic of relations as derived from the propositional functions of two or more variables.
Hugh MacColl, Gottlob Frege, Giuseppe Peano, Bertrand Russell, and A. N. Whitehead all shared Leibniz's dream of combining symbolic logic, mathematics, and philosophy.
Some writings by Leopold Löwenheim and Thoralf Skolem on algebraic logic appeared after the 1910–13 publication of "Principia Mathematica", and Tarski revived interest in relations with his 1941 essay "On the Calculus of Relations".
According to Helena Rasiowa, "The years 1920-40 saw, in particular in the Polish school of logic, researches on non-classical propositional calculi conducted by what is termed the logical matrix method. Since logical matrices are certain abstract algebras, this led to the use of an algebraic method in logic."
 discusses the rich historical connections between algebraic logic and model theory. The founders of model theory, Ernst Schröder and Leopold Loewenheim, were logicians in the algebraic tradition. Alfred Tarski, the founder of set theoretic model theory as a major branch of contemporary mathematical logic, also:
In the practice of the calculus of relations, Jacques Riguet used the algebraic logic to advance useful concepts: he extended the concept of an equivalence relation (on a set) to heterogeneous relations with the difunctional concept. Riguet also extended ordering to the heterogeneous context by his note that a staircase logical matrix has a complement that is also a staircase, and that the theorem of N. M. Ferrers follows from interpretation of the transpose of a staircase. Riguet generated "rectangular relations" by taking the outer product of logical vectors; these contribute to the "non-enlargeable rectangles" of formal concept analysis.
Leibniz had no influence on the rise of algebraic logic because his logical writings were little studied before the Parkinson and Loemker translations. Our present understanding of Leibniz as a logician stems mainly from the work of Wolfgang Lenzen, summarized in . To see how present-day work in logic and metaphysics can draw inspiration from, and shed light on, Leibniz's thought, see .
Further reading.
Historical perspective