Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Giulio Fellin"'
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
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.
Publikováno v:
Bulletin of Symbolic Logic; Jun2022, Vol. 28 Issue 2, p163-181, 19p
Publikováno v:
Oberwolfach Reports; 2023, Vol. 20 Issue 4, p3013-3061, 48p
Autor:
FELLIN, GIULIO
Publikováno v:
Sarajevo Journal of Mathematics; 2018, Vol. 14 Issue 1, p13-24, 12p
Publikováno v:
Bulletin of Symbolic Logic; Jun2022, Vol. 28 Issue 2, pf1-f4, 4p
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:
Ofer Arieli, Anna Zamansky
This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-