Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Heyting algebra · Vinony

EntityQ1617044· pop 15· linked from 198 articles

Heyting algebra

Sign in to save

bounded lattice that models intuitionistic propositional logic

Connections

partially ordered set

infimum and supremum

well-founded relation

ordered vector space

International Standard Book Number

digital object identifier

topological space

equivalence relation

De Morgan's laws

Cambridge University Press

Categories

Algebraic logic Constructivism (philosophy of mathematics)Lattice theory

Sources

wikipedia.externallinksexternallink

Similar entities

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

Lindenbaum–Tarski algebra

Entitydist 0.45

normal modal logic

Entitydist 0.52

many-valued logic

Entitydist 0.52

Entitydist 0.55

Entitydist 0.55

Entitydist 0.57

Entitydist 0.59

Entitydist 0.60

functional completeness

Entitydist 0.60

Category:Chinese logicians

Entitydist 0.61

Knaster–Tarski theorem

Entitydist 0.61

Entitydist 0.63

What links here198 pages

Kruskal's tree theorem

Order embedding

well-founded relation

integrally closed domain

Galois connection

associative algebra

Heyting arithmetic

reflexive closure

Boolean prime ideal theorem

logical negation

converse relation