A Lindstr\"om theorem for intuitionistic propositional logic
Logic
2020-11-11 v1
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.
Keywords
Cite
@article{arxiv.1810.09744,
title = {A Lindstr\"om theorem for intuitionistic propositional logic},
author = {Guillermo Badia and Grigory Olkhovikov},
journal= {arXiv preprint arXiv:1810.09744},
year = {2020}
}