Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/3931| Título: | Loop-free construction of counter-models for intuitionistic propositional logic |
| Autor(es): | Pinto, Luís F. Dyckhoff, Roy |
| Palavras-chave: | Intuitionistic logic Counter-models |
| Data: | 1995 |
| Editora: | Walter de Gruyter GmbH |
| Citação: | BEHARA, Minaketan ; FRITSCH, Rudolf ; LINTZ, Rubens G., ed.- “Proceedings of the 2nd Gauss Symposium : Conference A : mathematics and theoretical physics, Munich, Germany, August 2-7, 1993”. Berlin [etc.] : Walter de Gruyter, 1995. ISBN 3-110-14476-X. p. 226-232. |
| Resumo(s): | We present a non-looping method to construct Kripke trees refuting the non-theorems of intuitionistic propositional logic, using a contraction-free sequent calculus. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/3931 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
