This HTML5 document contains 93 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/
n19https://web.archive.org/web/20100331085640/http:/euclides.imub.ub.es/publications/preprints/pdf/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://orion.math.iastate.edu/dpigozzi/
n8https://plato.stanford.edu/entries/logic-algebraic-propositional/
n21http://projecteuclid.org/euclid.lnl/
n7https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
n15https://web.archive.org/web/20091216171952/http:/euclides.imub.ub.es/publications/preprints/pdf/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n17https://archive.org/details/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Abstract_algebraic_logic
rdf:type
dbo:Book
rdfs:label
Abstract algebraic logic Lógica algébrica abstrata 抽象代数逻辑
rdfs:comment
抽象代数逻辑(AAL)是研究关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。 In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systemsarising as an abstraction of the well-known Lindenbaum–Tarski algebra, and how the resulting algebras are related to logical systems. Na Lógica Matemática, lógica algébrica abstrata é o estudo da algebrização dos sistemas dedutivos decorrente de uma abstração da já conhecida álgebra de Lindenbaum-Tarski, e como as álgebras resultantes estão relacionadas com os sistemas lógicos.
dcterms:subject
dbc:Algebraic_logic
dbo:wikiPageID
4613861
dbo:wikiPageRevisionID
1113253299
dbo:wikiPageWikiLink
dbr:Stanford_Encyclopedia_of_Philosophy dbr:Lattice_(order) dbr:Charles_Sanders_Peirce dbr:Model_theory dbr:Axiomatic_set_theories dbr:Project_Euclid dbr:Field_(mathematics) dbr:Ernst_Schröder_(mathematician) dbr:Algebraic_logic dbr:Classical_propositional_logic dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Mathematical_logic dbr:Hierarchy_(mathematics) dbr:Deduction_theorem dbr:Abstract_model_theory dbr:George_Boole dbr:Set_theory dbr:Mathematical_Reviews dbr:Donald_Pigozzi dbr:István_Németi dbr:Alfred_Tarski dbr:Jerzy_Łoś dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Module_(mathematics) dbr:Heyting_algebra dbr:Association_for_Symbolic_Logic dbr:Helena_Rasiowa dbr:Universal_logic dbr:Ewa_Orłowska dbr:Adolf_Lindenbaum dbr:Unary_operation dbr:Abstract_algebra dbr:Roman_Suszko dbr:Hajnal_Andréka dbr:Deductive_system dbr:Relation_algebra dbr:Universal_algebra dbr:Propositional_calculus dbr:Combinatory_logic dbr:Abstract_algebraic_hierarchy dbr:Roman_Sikorski dbr:Complemented_lattice dbr:Modal_logic dbr:Signature_(logic) dbr:Intuitionistic_logic dbr:Janusz_Czelakowski dbr:Variety_(universal_algebra) dbr:Modal_algebra dbr:Lindenbaum–Tarski_algebra dbr:Cylindric_algebra dbr:Wim_Blok dbr:Polyadic_algebra dbr:First-order_logic dbr:Predicate_functor_logic dbc:Algebraic_logic
dbo:wikiPageExternalLink
n8: n15:Font-altresPre329.pdf n16: n17:theoryoflogicalc0000wojc n19:font.pdf n21:1235416965
owl:sameAs
n7:4LP72 dbpedia-pt:Lógica_algébrica_abstrata freebase:m.0ccqhr wikidata:Q4669936 dbpedia-zh:抽象代数逻辑
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:Reflist dbt:SpringerEOM dbt:Short_description dbt:ISBN
dbp:id
Abstract_algebraic_logic
dbp:title
Abstract algebraic logic
dbo:abstract
Na Lógica Matemática, lógica algébrica abstrata é o estudo da algebrização dos sistemas dedutivos decorrente de uma abstração da já conhecida álgebra de Lindenbaum-Tarski, e como as álgebras resultantes estão relacionadas com os sistemas lógicos. In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systemsarising as an abstraction of the well-known Lindenbaum–Tarski algebra, and how the resulting algebras are related to logical systems. 抽象代数逻辑(AAL)是研究关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。
dbp:oldid
21268
gold:hypernym
dbr:Study
prov:wasDerivedFrom
wikipedia-en:Abstract_algebraic_logic?oldid=1113253299&ns=0
dbo:wikiPageLength
8730
foaf:isPrimaryTopicOf
wikipedia-en:Abstract_algebraic_logic