Extraction of infons in finite many-valued logics

Detalhes bibliográficos
Autor(a) principal: Sautter, Frank Thomas
Data de Publicação: 2022
Outros Autores: Piccoli, Amanda Lazzarotto
Tipo de documento: Artigo
Idioma: por
Título da fonte: Cognitio (São Paulo. Online)
Texto Completo: https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/58525
Resumo: Author (2020) developed two informational semantics for Classical Sentential Logic, which derive from the use of normal forms. The informational approach in focus uses minimum information units (infons) to do the tasks of logic. In this paper, we shall expand the application of the informational approach to finite polyvalent sentential logics through a procedure that focuses on the extraction of minimum information units (infons). Such procedure follows from the work with semantic tableaux developed by Carnielli (1982).
id PUC_SP-15_0e9448404c5581c06276b0705a09fcd9
oai_identifier_str oai:ojs.pkp.sfu.ca:article/58525
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Extraction of infons in finite many-valued logicsExtração de infons em lógicas sentenciais polivalentes finitasAuthor (2020) developed two informational semantics for Classical Sentential Logic, which derive from the use of normal forms. The informational approach in focus uses minimum information units (infons) to do the tasks of logic. In this paper, we shall expand the application of the informational approach to finite polyvalent sentential logics through a procedure that focuses on the extraction of minimum information units (infons). Such procedure follows from the work with semantic tableaux developed by Carnielli (1982).Autor (2020) desenvolveu duas semânticas informacionais para a Lógica Sentencial Clássica, decorrentes da utilização de formais normais. A abordagem informacional em questão utiliza unidades mínimas de informação (infons) para realizar o trabalho lógico. Neste artigo, expandiremos a aplicação da abordagem informacional às lógicas sentenciais polivalentes finitas mediante um procedimento dedicado à extração de unidades mínimas de informação (infons). Tal procedimento decorre do trabalho com tablôs semânticos para Lógicas Sentenciais Polivalentes Finitas desenvolvido por Carnielli (1982).Pontifícia Universidade Católica de São Paulo2022-11-18info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/5852510.23925/2316-5278.2022v23i1:e58525Cognitio: Revista de Filosofia; Vol. 23 No. 1 (2022): Cognitio: Revista de Filosofia; e58525Cognitio: Revista de Filosofia; v. 23 n. 1 (2022): Cognitio: Revista de Filosofia; e585252316-52781518-7187reponame:Cognitio (São Paulo. Online)instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPporhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/58525/40969Copyright (c) 2022 http://creativecommons.org/licenses/by/4.0/https://creativecommons.org/licenses/by/4.0info:eu-repo/semantics/openAccessSautter, Frank ThomasPiccoli, Amanda Lazzarotto2023-01-23T11:50:17Zoai:ojs.pkp.sfu.ca:article/58525Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2023-01-23T11:50:17Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Extraction of infons in finite many-valued logics
Extração de infons em lógicas sentenciais polivalentes finitas
title Extraction of infons in finite many-valued logics
spellingShingle Extraction of infons in finite many-valued logics
Sautter, Frank Thomas
title_short Extraction of infons in finite many-valued logics
title_full Extraction of infons in finite many-valued logics
title_fullStr Extraction of infons in finite many-valued logics
title_full_unstemmed Extraction of infons in finite many-valued logics
title_sort Extraction of infons in finite many-valued logics
author Sautter, Frank Thomas
author_facet Sautter, Frank Thomas
Piccoli, Amanda Lazzarotto
author_role author
author2 Piccoli, Amanda Lazzarotto
author2_role author
dc.contributor.author.fl_str_mv Sautter, Frank Thomas
Piccoli, Amanda Lazzarotto
description Author (2020) developed two informational semantics for Classical Sentential Logic, which derive from the use of normal forms. The informational approach in focus uses minimum information units (infons) to do the tasks of logic. In this paper, we shall expand the application of the informational approach to finite polyvalent sentential logics through a procedure that focuses on the extraction of minimum information units (infons). Such procedure follows from the work with semantic tableaux developed by Carnielli (1982).
publishDate 2022
dc.date.none.fl_str_mv 2022-11-18
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/58525
10.23925/2316-5278.2022v23i1:e58525
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/58525
identifier_str_mv 10.23925/2316-5278.2022v23i1:e58525
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/58525/40969
dc.rights.driver.fl_str_mv Copyright (c) 2022 http://creativecommons.org/licenses/by/4.0/
https://creativecommons.org/licenses/by/4.0
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2022 http://creativecommons.org/licenses/by/4.0/
https://creativecommons.org/licenses/by/4.0
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv Cognitio: Revista de Filosofia; Vol. 23 No. 1 (2022): Cognitio: Revista de Filosofia; e58525
Cognitio: Revista de Filosofia; v. 23 n. 1 (2022): Cognitio: Revista de Filosofia; e58525
2316-5278
1518-7187
reponame:Cognitio (São Paulo. Online)
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Cognitio (São Paulo. Online)
collection Cognitio (São Paulo. Online)
repository.name.fl_str_mv Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv revcognitio@gmail.com
_version_ 1803387422387470336

Registros relacionados