Zobrazeno 1 - 5
of 5
pro vyhledávání: '"asimulations"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.