Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Fellin, Giulio"'
Autor:
Fellin, Giulio
The topic of this thesis lies in the intersection between proof theory and algebraic logic. The main object of discussion, constructive reasoning, was introduced at the beginning of the 20th century by Brouwer, who followed Kant’s explanation of hu
Externí odkaz:
http://hdl.handle.net/11572/352367
Autor:
Fellin, Giulio, Schuster, Peter
Publikováno v:
EPTCS 351, 2021, pp. 51-66
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Glivenko's theorem from double negation to an arbitrary nucleus, from provab
Externí odkaz:
http://arxiv.org/abs/2112.14049
Publikováno v:
The Bulletin of Symbolic Logic, 2022 Jun 01. 28(2), 163-181.
Externí odkaz:
https://www.jstor.org/stable/27139152
Autor:
Fellin, Giulio1 (AUTHOR), Negri, Sara2 (AUTHOR), Orlandelli, Eugenio3 (AUTHOR) eugenio.orlandelli@unibo.it
Publikováno v:
Archive for Mathematical Logic. Jul2023, Vol. 62 Issue 5/6, p657-688. 32p.
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.
A constructivisation of the cut-elimination proof for sequent calculi for classical and intuitionistic infinitary logic with geometric rules - given in earlier work by the second author - is presented. This is achieved through a procedure in which th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7a8f0712425efd53652172ff1e6b21b
https://hdl.handle.net/11585/891885
https://hdl.handle.net/11585/891885
Autor:
FELLIN, GIULIO
Publikováno v:
Sarajevo Journal of Mathematics; 2018, Vol. 14 Issue 1, p13-24, 12p
A constructivisation of the cut-elimination proof for sequent calculi for classical, intu- itionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ae387bd683a13ef6947ad5cef1575a0
https://hdl.handle.net/11585/909326
https://hdl.handle.net/11585/909326