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

Bibliographic Details
Main Authors: Helen Gomes da Silva, Hércules de Araujo Feitosa
Format: Article
Language:Portuguese
Published: Lázaro, C. and Rodrigues, T. 2016-12-01
Series:CQD Revista Eletrônica Paulista de Matemática
Online Access:http://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v07a03-logica-da-verdade.pdf