A Grätzer-Schmidt theorem for the Lindenbaum-Tarski algebra of IPC
arXiv:1601.05727
Abstract
We prove a version of the Grätzer-Schmidt theorem for the Lindenbaum-Tarski algebra associated to the Implicational Propositional Calculus.
arXiv:1601.05727
We prove a version of the Grätzer-Schmidt theorem for the Lindenbaum-Tarski algebra associated to the Implicational Propositional Calculus.