Back to Search Start Over

A Lindstr\'om theorem for intuitionistic propositional logic

Authors :
Badia, Guillermo
Olkhovikov, Grigory
Source :
Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30
Publication Year :
2018

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.

Subjects

Subjects :
Mathematics - Logic
03C95, 03B55

Details

Database :
arXiv
Journal :
Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30
Publication Type :
Report
Accession number :
edsarx.1810.09744
Document Type :
Working Paper
Full Text :
https://doi.org/10.1215/00294527-2019-0030
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details