Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Lindenbaum–Tarski algebra · Vinony

🌐English

English Deutsch Español Français Italiano Português Русский 中文日本語

EntityQ841805· pop 7· linked from 32 articles

Lindenbaum–Tarski algebra

Also known as Lindenbaum algebra

algebra of the operations on a logical theory up to equivalence

Available in 7 languages

Español
Français
Deutsch
中文
Русский
Czech

via Wikidata sitelinks · CC0

Connections

Categories

Algebraic logic Algebraic structures

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

digital object identifier

mathematical logic

propositional calculus

equivalence relation

logical negation

logical disjunction

logical conjunction

Jan Łukasiewicz

equivalence class

classical logic

congruence relation

intuitionistic logic

Boolean algebra

Sign in to save

What links here32 pages

axiomatic system

intermediate logic

Adolf Lindenbaum

algebraic logic

Heyting algebra

Boolean algebra

Kripke semantics

upward directed set

distributive lattice

first-order logic

Lindenbaum's lemma

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Heyting algebra

Entitydist 0.45

Entitydist 0.51

normal modal logic

Entitydist 0.53

Entitydist 0.56

Tarski's undefinability theorem

Entitydist 0.56

Entitydist 0.57

many-valued logic

Entitydist 0.58

Knaster–Tarski theorem

Entitydist 0.59

functional completeness

Entitydist 0.59

New Foundations

Entitydist 0.60

accessibility relation

Entitydist 0.60

Gödel's incompleteness theorems

Entitydist 0.61