Lindenbaum algebra

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:algebra
gptkbp:application analyzing logical consequence
studying consistency of theories
gptkbp:builtBy formulas of a formal theory
gptkbp:describes equivalence classes of formulas
https://www.w3.org/2000/01/rdf-schema#label Lindenbaum algebra
gptkbp:namedAfter gptkb:Adolf_Lindenbaum
gptkbp:operator logical connectives
gptkbp:originatedIn 1930s
gptkbp:property quotient algebra
depends on deductive system
gptkbp:relatedTo gptkb:algebra
gptkb:Heyting_algebra
gptkbp:usedIn gptkb:logic
model theory
proof theory
gptkbp:bfsParent gptkb:Lindenbaum–Tarski_algebra
gptkbp:bfsLayer 8