Example image of eyePlorer eyePlorer map for 'Lindenbaum–Tarski algebra': Equivalence class Equivalence relation Mathematical logic Sentence (mathematical logic) Adolf Lindenbaum Alfred Tarski Logic Logical conjunction Logical disjunction Well-defined Boolean algebra (structure) Classical logic Negation Isomorphism Propositional calculus Heyting algebra Interior algebra Intuitionistic logic Modal logic List of Boolean algebra topics Leibniz operator Derivative algebra (abstract algebra) Lindenbaum's lemma Abstract algebraic logic Intermediate logic Distributive lattice Monadic Boolean algebra MV-algebra Algebraic logic Kripke semantics First-order logic List of algebraic structures
Disclaimer