A Lindström theorem for intuitionistic propositional logic
arXiv:1810.09744 · doi:10.1215/00294527-2019-0030
Abstract
It is shown that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain topological property reminiscent of compactness, the Tarski union property and preservation under asimulations.