Two deductions systems for the Logic PM4N
A lógica PM4N foi introduzida por Jean-Yves Beziau como um sistema modal e 4-valorado. No artigo introdutório, o autor apresentou o sistema a partir de uma lógica matricial com quatro valores dispostos em uma álgebra Booleana com um operador modal para a noção de necessidade. A partir dessa semântic...
| Autores: | , , |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2022 |
| País: | Brasil |
| Recursos: | Universidade Estadual do Sudoeste da Bahia (UESB) |
| Repositorio: | Revista Intermaths |
| Idioma: | inglés |
| OAI Identifier: | oai:ojs.pkp.sfu.ca:article/11378 |
| Acesso em linha: | https://periodicos2.uesb.br/intermaths/article/view/11378 |
| Access Level: | acceso abierto |
| Palavra-chave: | Deduction systems Many-valued logics Tableaux Sequent calculus Sistemas dedutivos Lógicas multivaloradas Cálculo de sequentes |
| Resumo: | A lógica PM4N foi introduzida por Jean-Yves Beziau como um sistema modal e 4-valorado. No artigo introdutório, o autor apresentou o sistema a partir de uma lógica matricial com quatro valores dispostos em uma álgebra Booleana com um operador modal para a noção de necessidade. A partir dessa semântica matricial, o artigo mostra alguns resultados válidos e destaca algumas motivações da semântica matricial do sistema PM4N. No presente artigo nós desenvolvemos alguns aspectos adicionais dessa lógica e apresentamos dois sistemas dedutivos para a mesma, um simples sistema de tableaux e um cálculo de sequentes. |
|---|