Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Pianigiani, Duccio"'
This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we investigated the expressive and computational power of dialectical systems
Externí odkaz:
http://arxiv.org/abs/1810.07103
Autor:
Pianigiani, Duccio1 (AUTHOR), Sorbi, Andrea1 (AUTHOR) andrea.sorbi@unisi.it
Publikováno v:
Archive for Mathematical Logic. 2021, Vol. 60 Issue 1/2, p211-225. 15p.
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.
Autor:
Pianigiani, Duccio, Bagnoli, Carla
Publikováno v:
APhEx_9_2014_Pianigiani.pdf
Ruth Barcan Marcus was a logician and important philosopher whose pioneering contributions in the forties gave rise to the quantified modal logic. The so-called "Barcan formula" is a very controversial axiom of quantified modal logic. In this survey
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1119::7e24bb3d3b71c166651205bf998ca739
https://hdl.handle.net/10077/30523
https://hdl.handle.net/10077/30523
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.