The Order-Theoretic Structure of Free Heyting Algebras
Logic
2007-05-23 v2
Abstract
We find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.
Keywords
Cite
@article{arxiv.math/0702675,
title = {The Order-Theoretic Structure of Free Heyting Algebras},
author = {Michael O'Connor},
journal= {arXiv preprint arXiv:math/0702675},
year = {2007}
}