Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Cylindric_algebra> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Cylindric_algebra abstract "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.".
- Cylindric_algebra wikiPageExternalLink 06-CG-manysorted.pdf.
- Cylindric_algebra wikiPageID "7852887".
- Cylindric_algebra wikiPageLength "4510".
- Cylindric_algebra wikiPageOutDegree "23".
- Cylindric_algebra wikiPageRevisionID "678397814".
- Cylindric_algebra wikiPageWikiLink Abstract_algebraic_logic.
- Cylindric_algebra wikiPageWikiLink Alfred_Tarski.
- Cylindric_algebra wikiPageWikiLink Algebraic_logic.
- Cylindric_algebra wikiPageWikiLink Boolean_algebra_(structure).
- Cylindric_algebra wikiPageWikiLink Category:Algebraic_logic.
- Cylindric_algebra wikiPageWikiLink Category_theory.
- Cylindric_algebra wikiPageWikiLink Combinatory_logic.
- Cylindric_algebra wikiPageWikiLink Existential_quantification.
- Cylindric_algebra wikiPageWikiLink First-order_logic.
- Cylindric_algebra wikiPageWikiLink Functional_predicate.
- Cylindric_algebra wikiPageWikiLink Hyperdoctrine.
- Cylindric_algebra wikiPageWikiLink Lambda_calculus.
- Cylindric_algebra wikiPageWikiLink Leon_Henkin.
- Cylindric_algebra wikiPageWikiLink Many-sorted_logic.
- Cylindric_algebra wikiPageWikiLink Ordinal_number.
- Cylindric_algebra wikiPageWikiLink Polyadic_algebra.
- Cylindric_algebra wikiPageWikiLink Propositional_calculus.
- Cylindric_algebra wikiPageWikiLink Propositional_logic.
- Cylindric_algebra wikiPageWikiLink Quantification_(logic).
- Cylindric_algebra wikiPageWikiLink Quantifier_(logic).
- Cylindric_algebra wikiPageWikiLink Relation_algebra.
- Cylindric_algebra wikiPageWikiLinkText "Cylindric algebra".
- Cylindric_algebra wikiPageWikiLinkText "cylindric algebra".
- Cylindric_algebra hasPhotoCollection Cylindric_algebra.
- Cylindric_algebra wikiPageUsesTemplate Template:Cite_book.
- Cylindric_algebra wikiPageUsesTemplate Template:Cite_journal.
- Cylindric_algebra subject Category:Algebraic_logic.
- Cylindric_algebra comment "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.".
- Cylindric_algebra label "Cylindric algebra".
- Cylindric_algebra sameAs Cilindrische_algebra.
- Cylindric_algebra sameAs m.026g9km.
- Cylindric_algebra sameAs Q5199278.
- Cylindric_algebra sameAs Q5199278.
- Cylindric_algebra sameAs 圆柱代数.
- Cylindric_algebra wasDerivedFrom Cylindric_algebra?oldid=678397814.
- Cylindric_algebra isPrimaryTopicOf Cylindric_algebra.