Definition:Algebraic Logic

From ProofWiki
Jump to navigation Jump to search

Definition

Algebraic logic is a branch of mathematical logic which is the reasoning obtained by manipulating equations with free variables.


Also see

  • Results about algebraic logic can be found here.
Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Algebraic_Logic&oldid=608722"