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...

תיאור מלא

מידע ביבליוגרפי

Principais autores:	Helen Gomes da Silva, H´ercules de Araujo Feitosa
פורמט:	Artigo
שפה:	Português
יצא לאור:	UNESP 2022-11-01
סדרה:	CQD Revista Eletrônica Paulista de Matemática
נושאים:	Quase-verdade Verdade Pragmática Lógica Paraconsistente Lógica Trivalente Tableaux Analíticos
גישה מקוונת:	https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/78
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!