A Lindstr\'om theorem for intuitionistic propositional logic
| Autor: | Badia, Guillermo, Olkhovikov, Grigory |
|---|---|
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1215/00294527-2019-0030 |
| Popis: | 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. |
| Databáze: | arXiv |
| Externí odkaz: |
|