Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

algebraic logic · Vinony

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Português Русский فارسی 中文

algebraic logic

EntityQ1005222· pop 11· linked from 379 articles

algebraic logic

reasoning about equations with free variables

Available in 11 languages

Français
中文
Italiano
Bahasa Indonesia
Catalan
Danish
Kazakh
Ukrainian
zh_yue
فارسی

via Wikidata sitelinks · CC0

Connections

binary relation

Categories

Algebraic logic History of logic

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

semantic theory of truth

Entity

mathematical logic

Charles Sanders Peirce

propositional calculus

first-order logic

Zermelo–Fraenkel set theory

Boolean algebra

Clarence Irving Lewis

semantics of logic

Conservative extension

Sign in to save

Similar entities

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

free and bound variables

Entitydist 0.38

Entitydist 0.50

ground expression

Entitydist 0.51

zeroth-order logic

Entitydist 0.55

logical consequence

Entitydist 0.55

Entitydist 0.56

double negative elimination

Entitydist 0.57

conjunction elimination

Entitydist 0.58

Quantifier elimination

Entitydist 0.59

Entitydist 0.60

second-order logic

Entitydist 0.61

logical equivalence

Entitydist 0.61

What links here379 pages

Augustus De Morgan

axiomatic system

binary relation

composition of relations

Ernst Schröder

Mostowski collapse lemma

three-valued logic

algebra of sets

superseded scientific theory

elementary equivalence

Cantor's paradox

proof of impossibility

compactness theorem

logical contradiction

material implication