Algebraic logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. 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 .
known for
main interest
philosophicalSchool
Wikipage disambiguates
1854 in science1854 in the United KingdomAbstract algebraic logicAction algebraAlexander MacfarlaneAlfred TarskiAlgebra of logicAlgebraic semantics (mathematical logic)Alphabet of human thoughtAlwin KorseltAntonio Monteiro (mathematician)Augustus De MorganBertrand Russell's philosophical viewsBinary relationBoolean algebraCalculus (disambiguation)Calculus of relationsChandler DavisClassical logicComplement (set theory)Composition of relationsConverse relationCylindric algebraDempster–Shafer theoryErnst SchröderFinitary relationGeorg AumannGeorge_BooleGeorge PeacockGrigore MoisilGunther SchmidtHajnal AndrékaHelena RasiowaHeterogeneous relationHistory of algebraic logicIndex of logic articlesIndian logicIrving CopiIvor Grattan-GuinnessJacques Riguet
Link from a Wikipage to another Wikipage
known for
main interests
primaryTopic
Algebraic logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. 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 .
has abstract
Dins la lògica matemàtica, la ...... nçant l’ operador de Leibniz .
@ca
En logique mathématique, la lo ...... représentation et la dualité.
@fr
In mathematical logic, algebra ...... y using the Leibniz operator .
@en
Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем.
@uk
在數理邏輯中,代數邏輯使用抽象代數方法形式化邏輯。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,132,297
Link from a Wikipage to another Wikipage
reference
Lenzen, Wolfgang, 2004, "Leibn ...... to Frege. North-Holland: 1-84.
@en
Zalta, E. N., 2000, "A (Leibni ...... tory of Philosophy 3: 137-183.
@en
wikiPageUsesTemplate
hypernym
type
comment
Dins la lògica matemàtica, la ...... a lògica algebraica clàssica .
@ca
En logique mathématique, la lo ...... représentation et la dualité.
@fr
In mathematical logic, algebra ...... of classical algebraic logic .
@en
Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем.
@uk
在數理邏輯中,代數邏輯使用抽象代數方法形式化邏輯。
@zh
label
Algebraic logic
@en
Logique algébrique
@fr
Lògica algebraica
@ca
Алгебраїчна логіка
@uk
代数逻辑
@zh