Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux
Inspirado na noc¸ao de quase-verdade de Newton da Costa, Silvestrini (2011) apresentou uma definic¸ao de verdade pragmáica via satisfação pragmática e, no mesmo trabalho, introduziu a Lógica da Verdade Pragmática (LPT) em um sistema axiomático. LPT é uma logica paraconsistente e trivalente. Posteri...
Збережено в:
| Автори: | , |
|---|---|
| Формат: | Artigo |
| Мова: | Português |
| Опубліковано: |
UNESP
2022-11-01
|
| Серія: | CQD Revista Eletrônica Paulista de Matemática |
| Предмети: | |
| Онлайн доступ: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/78 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|