Abstract algebraic logic
Study of the algebraization of deductive systems, based on the Lindenbaum–Tarski algebra / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Abstract algebraic logic?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.[1]