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

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
id doaj-48a948e3f02c474c8a999bff5193b883
record_format Article
spelling doaj-48a948e3f02c474c8a999bff5193b8832020-11-24T23:18:58ZporLázaro, C. and Rodrigues, T.CQD Revista Eletrônica Paulista de Matemática2316-96642316-96642016-12-017234310.21167/cqdvol7ermac201623169664hgshaf2343Lógica da verdade pragmática apresentada num sistema dedutivo de tableauxHelen Gomes da SilvaHércules de Araujo Feitosahttp://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v07a03-logica-da-verdade.pdf
collection DOAJ
language Portuguese
format Article
sources DOAJ
author Helen Gomes da Silva
Hércules de Araujo Feitosa
spellingShingle Helen Gomes da Silva
Hércules de Araujo Feitosa
Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
CQD Revista Eletrônica Paulista de Matemática
author_facet Helen Gomes da Silva
Hércules de Araujo Feitosa
author_sort Helen Gomes da Silva
title Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
title_short Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
title_full Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
title_fullStr Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
title_full_unstemmed Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
title_sort lógica da verdade pragmática apresentada num sistema dedutivo de tableaux
publisher Lázaro, C. and Rodrigues, T.
series CQD Revista Eletrônica Paulista de Matemática
issn 2316-9664
2316-9664
publishDate 2016-12-01
url http://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v07a03-logica-da-verdade.pdf
work_keys_str_mv AT helengomesdasilva logicadaverdadepragmaticaapresentadanumsistemadedutivodetableaux
AT herculesdearaujofeitosa logicadaverdadepragmaticaapresentadanumsistemadedutivodetableaux
_version_ 1725579014604587008

Similar Items