Difference between revisions of "Algebraic logic"
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | In [[mathematical logic]], '''algebraic logic''' is the reasoning obtained by manipulating equations with free variables. | + | In [[mathematical logic]], '''algebraic logic''' is the reasoning obtained by manipulating equations with [[Free variables and bound variables|free variables]]. |
== Description == | == Description == | ||
| Line 11: | Line 11: | ||
== See also == | == See also == | ||
| − | * [[George Boole | + | * [[Algebra]] |
| + | * [[Free variables and bound variables]] | ||
| + | * [[George Boole]] | ||
| + | * [[Leibniz operator]] | ||
* [[Logic]] | * [[Logic]] | ||
* [[Mathematical logic]] | * [[Mathematical logic]] | ||
| Line 18: | Line 21: | ||
* [https://en.wikipedia.org/wiki/Algebraic_logic Algebraic logic] @ Wikipedia | * [https://en.wikipedia.org/wiki/Algebraic_logic Algebraic logic] @ Wikipedia | ||
| + | |||
| + | [[Category:Logic]] | ||
| + | [[Category:Mathematics]] | ||
Latest revision as of 08:17, 4 April 2016
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
Description
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.
See also
External links
- Algebraic logic @ Wikipedia
