The Order-Theoretic Structure of Free Heyting Algebras
arXiv:math/0702675
Abstract
We find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.
arXiv:math/0702675
We find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.