Concept

Algebraic logic

Overview

reasoning about equations with free variables

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Algebraic logic

• George Boole
• Alfred Tarski
• Grigore Moisil

Related ideas

• First-order logic
• Journal of Symbolic Logic
• Gottfried Wilhelm Leibniz
• Giuseppe Peano
• Philosophy
• Free variables and bound variables
• Truth value
• Intuitionistic logic
• Logical equivalence
• Internet Archive
• The Principles of Mathematics
• Logical connective
• Function (mathematics)
• Mathematics
• Metaphysics
• Modus ponens
• Augustus De Morgan
• Mathematical logic
• Model theory
• University of California Press
• Primitive notion
• Power set
• Principia Mathematica
• Peano axioms

Place in the tradition

Part of Classical logic.

Explore Algebraic logic in the interactive graph →