This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Paul_Halmos
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Cylindric_algebra
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Dyadics
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Information_algebra
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Algebraic_logic
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:First-order_logic
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Predicate_functor_logic
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Quantifier_(logic)
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Tensor
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Abstract_algebraic_logic
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Monadic_Boolean_algebra
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
Subject Item
dbr:Polyadic_algebra
rdf:type
dbo:Building
rdfs:label
Polyadic algebra ハルモス代数
rdfs:comment
数理論理学におけるハルモス代数（ハルモスだいすう、英: Halmos algebra）あるいは多進代数（たしんだいすう、英: Polyadic algebra） はポール・ハルモスの導入した代数的構造で、ブール代数が命題論理を記述するというのと同様の意味において、一階述語論理を形式化するものである。（の項を参照。） 同じように一階論理を記述する他の代数として、（一階論理が等号付きの場合）アルフレッド・タルスキの およびウィリアム・ローヴェアの（圏論的アプローチ）などを挙げることができる。 Polyadic algebras (more recently called Halmos algebras) are algebraic structures introduced by Paul Halmos. They are related to first-order logic analogous to the relationship between Boolean algebras and propositional logic (see Lindenbaum–Tarski algebra). There are other ways to relate first-order logic to algebra, including Tarski's cylindric algebras (when equality is part of the logic) and Lawvere's (a categorical approach).
dcterms:subject
dbc:Algebraic_logic
dbo:wikiPageID
22737733
dbo:wikiPageRevisionID
1092045014
dbo:wikiPageWikiLink
dbr:Category_theory dbr:Chelsea_Publishing dbr:Propositional_logic dbr:Paul_Halmos dbr:Functorial_semantics dbr:Cylindric_algebra dbc:Algebraic_logic dbr:Boolean_algebras dbr:Lawvere dbr:Algebraic_structure dbr:First-order_logic dbr:Lindenbaum–Tarski_algebra dbr:Alfred_Tarski
owl:sameAs
wikidata:Q7226119 dbpedia-ja:ハルモス代数 n13:4u4EX freebase:m.05zvnd0
dbp:wikiPageUsesTemplate
dbt:Mathlogic-stub dbt:Reflist
dbo:abstract
Polyadic algebras (more recently called Halmos algebras) are algebraic structures introduced by Paul Halmos. They are related to first-order logic analogous to the relationship between Boolean algebras and propositional logic (see Lindenbaum–Tarski algebra). There are other ways to relate first-order logic to algebra, including Tarski's cylindric algebras (when equality is part of the logic) and Lawvere's (a categorical approach). 数理論理学におけるハルモス代数（ハルモスだいすう、英: Halmos algebra）あるいは多進代数（たしんだいすう、英: Polyadic algebra） はポール・ハルモスの導入した代数的構造で、ブール代数が命題論理を記述するというのと同様の意味において、一階述語論理を形式化するものである。（の項を参照。） 同じように一階論理を記述する他の代数として、（一階論理が等号付きの場合）アルフレッド・タルスキの およびウィリアム・ローヴェアの（圏論的アプローチ）などを挙げることができる。
gold:hypernym
dbr:Structures
prov:wasDerivedFrom
wikipedia-en:Polyadic_algebra?oldid=1092045014&ns=0
dbo:wikiPageLength
1310
foaf:isPrimaryTopicOf
wikipedia-en:Polyadic_algebra
Subject Item
dbr:Halmos_algebra
dbo:wikiPageWikiLink
dbr:Polyadic_algebra
dbo:wikiPageRedirects
dbr:Polyadic_algebra
Subject Item
wikipedia-en:Polyadic_algebra
foaf:primaryTopic
dbr:Polyadic_algebra