Lindenbaum–Tarski algebra

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:algebra
gptkbp:appliesTo formal theories
gptkbp:capturedBy logical equivalence
gptkbp:containsElement equivalence class of formulas
gptkbp:describes equivalence classes of formulas
gptkbp:field gptkb:logic
gptkbp:generalizes gptkb:Lindenbaum_algebra
https://www.w3.org/2000/01/rdf-schema#label Lindenbaum–Tarski algebra
gptkbp:introducedIn 1930s
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkb:Adolf_Lindenbaum
gptkbp:operator logical conjunction
logical disjunction
logical negation
gptkbp:relatedTo model theory
proof theory
gptkbp:structureType gptkb:algebra
gptkbp:usedFor studying completeness
studying consistency
gptkbp:usedIn gptkb:logic
predicate logic
gptkbp:bfsParent gptkb:Adolf_Lindenbaum
gptkbp:bfsLayer 7