A Lindström Theorem for Intuitionistic Propositional Logic

Autor:	Guillermo Badia, Grigory K. Olkhovikov
Rok vydání:	2020
Předmět:	Property (philosophy) Logic Intuitionistic logic intuitionistic logic 0603 philosophy ethics and religion 01 natural sciences Expressive power asimulations Computer Science::Logic in Computer Science 0101 mathematics Abstract logic Lindström theorem Mathematics Abstract model theory 010102 general mathematics abstract model theory Mathematics - Logic 06 humanities and the arts Propositional calculus Algebra Mathematics::Logic TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Compact space TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS 03C95 03B55 060302 philosophy 03C95 03B55
Zdroj:	Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30
ISSN:	0029-4527
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:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::850d0e5daf7cbd542a2bb65dcbe7ffc8 https://doi.org/10.1215/00294527-2019-0030 Zobrazit plný text záznamu