Zobrazeno 1 - 4
of 4
pro vyhledávání: '"03C95, 03B55"'
Autor:
Olkhovikov, Grigory, Badia, Guillermo
In the style of Lindstr\"om's theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tar
Externí odkaz:
http://arxiv.org/abs/2104.03052
Autor:
Badia, Guillermo, Olkhovikov, Grigory
Publikováno v:
Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30
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.
Externí odkaz:
http://arxiv.org/abs/1810.09744
Autor:
Guillermo Badia, Grigory K. Olkhovikov
In the style of Lindstr\"om's theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55f020d79624e82e9e0e134ee568cff6
Autor:
Guillermo Badia, Grigory K. Olkhovikov
Publikováno v:
Notre Dame J. Formal Logic 61, no. 1 (2020), 11-30
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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::850d0e5daf7cbd542a2bb65dcbe7ffc8
https://doi.org/10.1215/00294527-2019-0030
https://doi.org/10.1215/00294527-2019-0030
