Abstract algebraic logic

id: abstract-algebraic-logic-282-8135165
title: Abstract algebraic logic
text: 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.
brand slug: wiki
category slug: encyclopedia
description: Study of the algebraization of deductive systems, based on the Lindenbaum–Tarski algebra
original url: https://en.wikipedia.org/wiki/Abstract_algebraic_logic
date created:
date modified: 2024-02-28T13:36:50Z
main entity: {"identifier":"Q4669936","url":"https://www.wikidata.org/entity/Q4669936"}
image:
fields total: 13
integrity: 14

Related Entries

Explore Next Part