Zobrazeno 1 - 3
of 3
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
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