Cylindric algebra
In mathematics, the notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first-order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Indeed, cylindric algebras are Boolean algebras equipped with additional cylindrification operations that model quantification and equality. They differ from polyadic algebras in that the latter do not model equality.
Wikipage redirect
Abstract algebraic logicAlfred TarskiAlgebraic logicCombinatory logicCylindric algebrasCylindrical algebraFirst-order logicGadfly (database)Information algebraLeon HenkinMathematical logicMonadic Boolean algebraPaul HalmosPolyadic algebraPredicate functor logicQuantifier (logic)Relation algebraRelational algebraRepresentation (mathematics)Roger MadduxTomasz ImielińskiWitold Lipski
Link from a Wikipage to another Wikipage
primaryTopic
Cylindric algebra
In mathematics, the notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first-order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Indeed, cylindric algebras are Boolean algebras equipped with additional cylindrification operations that model quantification and equality. They differ from polyadic algebras in that the latter do not model equality.
has abstract
Een cilindrische algebra is ee ...... eranderlijken voorstellen, dan
@nl
En mathématiques, la notion d' ...... u premier ordre équationnelle.
@fr
In mathematics, the notion of ...... latter do not model equality.
@en
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上,圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,022,467,153
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
Een cilindrische algebra is ee ...... jven: (C1) (C2) (C3) (C4) (C5)
@nl
En mathématiques, la notion d' ...... u premier ordre équationnelle.
@fr
In mathematics, the notion of ...... latter do not model equality.
@en
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上,圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。
@zh
label
Algèbre cylindrique
@fr
Cilindrische algebra
@nl
Cylindric algebra
@en
圆柱代数
@zh