| dbo:abstract
|
- 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. 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. (en)
- En mathématiques, la notion d'algèbre cylindrique, inventée par Alfred Tarski, est survenue naturellement dans l'algébrisation de la logique du premier ordre équationnelle. (fr)
- Een cilindrische algebra is een algebraïsche structuur, bedacht door Alfred Tarski, die op natuurlijke wijze verschijnt in de algebraïsering van de eerste-ordelogica. Een cilindrische algebra van dimensie , waarin een ordinaal getal voorstelt, is een algebraïsche structuur zodanig dat een booleaanse algebra vormt, een unaire operatie op voorstelt voor alle en een verschillend element van voorstelt voor elke en zodanig dat de zeven volgende axioma's gelden: (C1) (C2) (C3) (C4) (C5) (C6) Als , dan (C7) Als , dan De axioma's vallen als volgt te herschrijven: (C1) (C2) (C3) (C4) (C5) (C6) Als een veranderlijke voorstelt verschillend van en , dan (C7) Als en verschillende veranderlijken voorstellen, dan (nl)
- 阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7265 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- 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. 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. (en)
- En mathématiques, la notion d'algèbre cylindrique, inventée par Alfred Tarski, est survenue naturellement dans l'algébrisation de la logique du premier ordre équationnelle. (fr)
- 阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。 (zh)
- Een cilindrische algebra is een algebraïsche structuur, bedacht door Alfred Tarski, die op natuurlijke wijze verschijnt in de algebraïsering van de eerste-ordelogica. Een cilindrische algebra van dimensie , waarin een ordinaal getal voorstelt, is een algebraïsche structuur zodanig dat een booleaanse algebra vormt, een unaire operatie op voorstelt voor alle en een verschillend element van voorstelt voor elke en zodanig dat de zeven volgende axioma's gelden: (C1) (C2) (C3) (C4) (C5) (C6) Als , dan (C7) Als , dan De axioma's vallen als volgt te herschrijven: (C1) (C2) (C3) (C4) (C5) (nl)
|
| rdfs:label
|
- Cylindric algebra (en)
- Algèbre cylindrique (fr)
- Cilindrische algebra (nl)
- 圆柱代数 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
