Lógica da verdade pragmática apresentada num sistema dedutivo de Tableaux

Artigo Acesso aberto Revisado por pares

2016; Lázaro, C. and Rodrigues, T.; Volume: 7; Linguagem: Português

10.21167/cqdvol7ermac201623169664hgshaf2343

ISSN

2316-9664

Autores

Helen Gomes da Silva, Hércules de Araújo Feitosa,

Tópico(s)

Multi-Agent Systems and Negotiation

Resumo

de verdade pragmática via satisfac ¸ão pragmática e, no mesmo trabalho, introduziu a Lógica da Verdade Pragmática (LPT) em um sistema axiomático.

Ver no editor

Altmetric

PlumX