In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum-Tarski algebra, and how the resulting algebras are related to logical systems.

PropertyValue
dbpprop:abstract
  • In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum-Tarski algebra, and how the resulting algebras are related to logical systems.
  • 抽象代数逻辑(AAL)是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum-Tarski algebra, and how the resulting algebras are related to logical systems.
  • 抽象代数逻辑(AAL)是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。
rdfs:label
  • Abstract algebraic logic
  • 抽象代数逻辑
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of