A Lindström Theorem for Intuitionistic Propositional Logic
Guillermo Badía, Grigory Olkhovikov · Notre Dame Journal of Formal Logic · 2019
We show that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property (TUP), and preservation under asimulations.