Constructing the Lindenbaum algebra for a logic step-by-step using duality (extended version (2011)

by Dion Coumans, Sam van Gool
Venue:Proceedings of PhDs in Logic