In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum-Tarski algebra, and how the resulting algebras are related to logical systems.
Read more about Abstract Algebraic Logic: Overview, Examples
Famous quotes containing the words abstract, algebraic and/or logic:
“A work of art is an abstract or epitome of the world. It is the result or expression of nature, in miniature. For, although the works of nature are innumerable and all different, the result or the expression of them all is similar and single.”
—Ralph Waldo Emerson (1803–1882)
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (1889–1951)