Sobre o metodo dos tableaux em logicas polivalentes finitarias

Detalhes bibliográficos
Autor(a) principal: Carnielli, Walter Alexandre, 1952-
Data de Publicação: 1982
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1577153
Resumo: Orientador: Newton Carneiro Affonso da Costa
id UNICAMP-30_be758187feab97d007741d2d25ebb95b
oai_identifier_str oai::47330
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Sobre o metodo dos tableaux em logicas polivalentes finitariasLógica matemática não-clássicaOrientador: Newton Carneiro Affonso da CostaTese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: Não informado.Abstract: Not informed.DoutoradoDoutor em Matemática[s.n.]Costa, N. C. A. daCosta, Newton Carneiro Affonso da, 1929-Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da ComputaçãoPrograma de Pós-Graduação em MatemáticaUNIVERSIDADE ESTADUAL DE CAMPINASCarnielli, Walter Alexandre, 1952-1982info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf140f.https://hdl.handle.net/20.500.12733/1577153CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1577153. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/47330porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-08-17T14:45:10Zoai::47330Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-08-17T14:45:10Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Sobre o metodo dos tableaux em logicas polivalentes finitarias
title Sobre o metodo dos tableaux em logicas polivalentes finitarias
spellingShingle Sobre o metodo dos tableaux em logicas polivalentes finitarias
Carnielli, Walter Alexandre, 1952-
Lógica matemática não-clássica
title_short Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_full Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_fullStr Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_full_unstemmed Sobre o metodo dos tableaux em logicas polivalentes finitarias
title_sort Sobre o metodo dos tableaux em logicas polivalentes finitarias
author Carnielli, Walter Alexandre, 1952-
author_facet Carnielli, Walter Alexandre, 1952-
author_role author
dc.contributor.none.fl_str_mv Costa, N. C. A. da
Costa, Newton Carneiro Affonso da, 1929-
Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação
Programa de Pós-Graduação em Matemática
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Carnielli, Walter Alexandre, 1952-
dc.subject.por.fl_str_mv Lógica matemática não-clássica
topic Lógica matemática não-clássica
description Orientador: Newton Carneiro Affonso da Costa
publishDate 1982
dc.date.none.fl_str_mv 1982
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1577153
CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1577153. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1577153
identifier_str_mv CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1577153. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/47330
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
140f.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188725868986368

Registros relacionados