1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Michael O'Connor
We find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.