Quartz 4

Home

❯

Heyting Algebra

Heyting Algebra

Feb 11, 20261 min read

Bound lattice with exponentials.


Graph View

Backlinks

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

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community