Abstract algebraic logic
http://dbpedia.org/resource/Abstract_algebraic_logic an entity of type: Book
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.
rdf:langString
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.
rdf:langString
抽象代数逻辑(AAL)是研究关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。
rdf:langString
rdf:langString
Abstract algebraic logic
rdf:langString
Lógica algébrica abstrata
rdf:langString
抽象代数逻辑
xsd:integer
4613861
xsd:integer
1113253299
rdf:langString
Abstract_algebraic_logic
rdf:langString
Abstract algebraic logic
rdf:langString
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.
rdf:langString
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.
rdf:langString
抽象代数逻辑(AAL)是研究关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。
xsd:integer
21268
xsd:nonNegativeInteger
8730