Octocurious

❯

Heyting Algebra

Heyting Algebra

11 Feb 20261 min read

Bound lattice with exponentials.

Graph View

Backlinks

Boolean Algebra
Complete Lattice
Lattice
Set (Category)
Tarski Semantics
index

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community