Extração de infons em lógicas sentenciais polivalentes finitas
DOI:
https://doi.org/10.23925/2316-5278.2022v23i1:e58525Resumo
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).
Metrics
Referências
CAFERRA, Ricardo; ZABEL, Nicolas. An application of many-valued logic to decide propositional S5 formulae: a strategy designed for a parametrized tableaux-based Theorem Prover. In: JORRANO, Ph.; SGUREV, V. Artificial Intelligence IV: Methodology, Systems, Applications. Amsterdam: North-Holland, 1990. p. 23-32.
CARNIELLI, Walter Alexandre. Sobre o método de tableaux em lógicas polivalentes finitárias. Orientador: Newton Carneiro Affonso da Costa. 140 f. Tese (Doutorado) – Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica, Campinas, 1982.
CHENG, Daizhan; LIU, Zequn; QI, Hongsheng. Completeness and normal form of multi-valued logical functions. Journal of the Franklin Intitute, v. 357, p. 9871-9884, 2020.
DUGUNDJI, James. Note on a Property of Matrices for Lewis and Langford´s Calculi of Propositions. The Journal of Symbolic Logic, v. 5, n. 4, p. 150-151, 1940.
FINE, Kit. Normal forms in modal logic. Notre Dame Journal of Formal Logic, v. XVI, n. 2, p. 229-237, 1975.
FLORIDI, Luciano. The philosophy of information. Oxford: Oxford University Press, 2011.
KARNAUGH, Maurice. The Map Method for Synthesis of Combinational Logic Circuits. Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics, v. 72, n. 5, p. 593-599, 1953.
MAGOSSI, José Carlos. Lógica Matemática: uma Introdução. Campinas: Editora da UNICAMP, 2020.
MARTINEZ, Maricarmen; SEQUOIAH-GRAYSON, Sebastian. Logic and Information. In: ZALTA, Edward Nouri. (Org.). The Stanford Encyclopedia of Philosophy, 2019. Disponível em: <https://plato.stanford.edu/archives/spr2019/entries/logic-information/>. Acesso em: 13 junho 2022.
MORTARI, Cezar. Introdução à lógica. São Paulo: Editora Unesp, 2016.
RIPOLL, Leonardo; MATOS, José Claudio Morelli. Desinformação e informação semântica: a Filosofia da Informação e o pensamento de Luciano Floridi na contribuição à confiabilidade informacional. Questão, v. 26, n. 2, p. 211-232, maio/ago. 2020.
SALATIEL, José Renato. Representando o processo criativo da prova nos Grafos Existenciais. Analytica, v. 18, n. 1, p. 133-160, 2014.
SALHI, Yakoub; SIOUTIS, Michael. A Resolution Method for Modal Logic S5. EPiC Series in Computer Science, v. 36, p. 252-262, 2015.
AUTOR, 2012.
AUTOR, 2013.
AUTOR, 2013.
AUTOR, 2014.
AUTOR, 2020.
AUTOR, 2021.
ZACH, Richard. Boxes and Diamonds: An Open Introduction to Modal Logic, 2019. Disponível em: <https://bd.openlogicproject.org/>. Acesso em: 31 maio 2022.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Copyright (c) 2022 http://creativecommons.org/licenses/by/4.0/
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
