Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/3829
Título: | Cut-elimination and a permutation-free sequent calculus for intuitionistic logic |
Autor(es): | Pinto, Luís F. Dyckhoff, Roy |
Palavras-chave: | Cut-elimination Normalisation Natural deduction Intuitionistic logic Recursive path ordering Termination |
Data: | 1998 |
Editora: | Kluwer |
Revista: | Studia Logica |
Citação: | "Studia Logica". ISSN 0039-3215. 60:1 (1998) 107-118. |
Resumo(s): | We describe a sequent calculus, based on work of Herbelin's, of which the cut-free derivations are in 1-1 correspondence with normal natural deduction proofs of intuitionistic logic. We present a simple proof of Herbelin's strong cut-elimination theorem for the calculus, using the recursive path oredering theorem of Dershowitz. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/3829 |
DOI: | 10.1023/A:1005099619660 |
ISSN: | 0039-3215 1572-8730 |
Versão da editora: | http://www.springerlink.com/(hborbcz2q3bo25n4fjvrsj55)/app/home/contribution.asp?referrer=parent&backto=issue,5,8;journal,63,69;linkingpublicationresults,1:100340,1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SLPaper.ps | 1,96 MB | Postscript | Ver/Abrir | |
SLPaper.pdf | 96,6 kB | Adobe PDF | Ver/Abrir |