Extraction of infons in finite many-valued logics
DOI:
https://doi.org/10.23925/2316-5278.2022v23i1:e58525Abstract
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).
Metrics
References
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
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 http://creativecommons.org/licenses/by/4.0/
This work is licensed under a Creative Commons Attribution 4.0 International License.
