Publicação
Loop-free construction of counter-models for intuitionistic propositional logic
| Resumo: | We present a non-looping method to construct Kripke trees refuting the non-theorems of intuitionistic propositional logic, using a contraction-free sequent calculus. |
|---|---|
| Autores principais: | Pinto, Luís F. |
| Outros Autores: | Dyckhoff, Roy |
| Assunto: | Intuitionistic logic Counter-models |
| Ano: | 1995 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | We present a non-looping method to construct Kripke trees refuting the non-theorems of intuitionistic propositional logic, using a contraction-free sequent calculus. |
|---|