Octocurious

❯

Heyting Algebra

Heyting Algebra

11 Feb 20261 min read

Bound lattice with exponentials.

Graph View

Backlinks

Boolean Algebra
Complete Lattice
Intuitionistic First-Order Logic
Lattice
Tarski Semantics
Index

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community