arXiv Analytics

Sign in

arXiv:1810.09744 [math.LO]AbstractReferencesReviewsResources

A Lindström theorem for intuitionistic propositional logic

Guillermo Badia, Grigory Olkhovikov

Published 2018-10-23Version 1

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.

Categories: math.LO
Subjects: 03C95, 03B55
Related articles: Most relevant | Search more
arXiv:2103.17024 [math.LO] (Published 2021-03-31)
A Lindström theorem for intuitionistic first-order logic
arXiv:1809.00393 [math.LO] (Published 2018-09-02)
On the Jaśkowski Models for Intuitionistic Propositional Logic
arXiv:2207.14705 [math.LO] (Published 2022-07-29)
Carnap's problem for intuitionistic propositional logic

Links

Toolbox