https://repositorio.ufba.br/handle/ri/19109| Tipo: | Outros |
| Título: | Combining intermediate propositional logics with classical logic |
| Autor(es): | Lewitzka, Steffen |
| Autor(es): | Lewitzka, Steffen |
| Palavras-chave: | Logics |
| Tipo de Acesso: | Acesso Aberto |
| URI: | http://repositorio.ufba.br/ri/handle/ri/19109 |
| Data do documento: | 5-Mai-2016 |
| Aparece nas coleções: | Relatório Técnico (PGCOMP) |
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 1510.05326v1.pdf | 192,64 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.