Multiplicadores algébricos de validade lógica

Detalhes bibliográficos
Autor(a) principal: Hernandes, Mauricio Simões Camilo
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
Resumo: Por uma lógica S entendemos um par (L, 1-s) onde L é um conjunto de conectivos e 1-s é o símbolo para a relação de consequência de S. Por matriz semântica M entendemos um par (A, D), onde A é uma estrutura algébrica e D é um conjunto de valores designados. Neste trabalho caracterizamos a relação de consequência semântica em M (F M) como um polinômio na álgebra A.
id USP_00295b4cc6554d166ff36ad0efada13d
oai_identifier_str oai:teses.usp.br:tde-20230727-113653
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Multiplicadores algébricos de validade lógicanot availableÁlgebras De BooleInvariantesLinguística ComputacionalLógica AlgébricaLógica De Primeira OrdemSemânticaPor uma lógica S entendemos um par (L, 1-s) onde L é um conjunto de conectivos e 1-s é o símbolo para a relação de consequência de S. Por matriz semântica M entendemos um par (A, D), onde A é uma estrutura algébrica e D é um conjunto de valores designados. Neste trabalho caracterizamos a relação de consequência semântica em M (F M) como um polinômio na álgebra A.By a logic S we understand a pair (L, 1-s) where L is a set of connectives and 1-s is a symbol for the consequence relation of S. By semantic matrix M we understand a pair (A, D), where A is a algebraic structure and D is a set of designated values. ln this work we caracterize the consequence relation on M (1= M) as a polynomial over the algebra A.Biblioteca Digitais de Teses e Dissertações da USPFinger, MarceloHernandes, Mauricio Simões Camilo2010-03-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-07-27T20:28:05Zoai:teses.usp.br:tde-20230727-113653Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-07-27T20:28:05Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Multiplicadores algébricos de validade lógica
not available
title Multiplicadores algébricos de validade lógica
spellingShingle Multiplicadores algébricos de validade lógica
Hernandes, Mauricio Simões Camilo
Álgebras De Boole
Invariantes
Linguística Computacional
Lógica Algébrica
Lógica De Primeira Ordem
Semântica
title_short Multiplicadores algébricos de validade lógica
title_full Multiplicadores algébricos de validade lógica
title_fullStr Multiplicadores algébricos de validade lógica
title_full_unstemmed Multiplicadores algébricos de validade lógica
title_sort Multiplicadores algébricos de validade lógica
author Hernandes, Mauricio Simões Camilo
author_facet Hernandes, Mauricio Simões Camilo
author_role author
dc.contributor.none.fl_str_mv Finger, Marcelo
dc.contributor.author.fl_str_mv Hernandes, Mauricio Simões Camilo
dc.subject.por.fl_str_mv Álgebras De Boole
Invariantes
Linguística Computacional
Lógica Algébrica
Lógica De Primeira Ordem
Semântica
topic Álgebras De Boole
Invariantes
Linguística Computacional
Lógica Algébrica
Lógica De Primeira Ordem
Semântica
description Por uma lógica S entendemos um par (L, 1-s) onde L é um conjunto de conectivos e 1-s é o símbolo para a relação de consequência de S. Por matriz semântica M entendemos um par (A, D), onde A é uma estrutura algébrica e D é um conjunto de valores designados. Neste trabalho caracterizamos a relação de consequência semântica em M (F M) como um polinômio na álgebra A.
publishDate 2010
dc.date.none.fl_str_mv 2010-03-30
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
url https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090938107068416

Registros relacionados