Advanced search
Start date
Betweenand

The relation between LPT and classical logic

Grant number: 17/22878-9
Support type:Scholarships in Brazil - Scientific Initiation
Effective date (Start): January 01, 2018
Effective date (End): December 31, 2018
Field of knowledge:Humanities - Philosophy - Logic
Principal researcher:Luiz Henrique da Cruz Silvestrini
Grantee:Luis Felipe Salvador Boato
Home Institution: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil

Abstract

In 1986, Mikenberg et al. introduced the quasi-truth semantic notion defined by means of partial structures, whose predicates are given as triples of mutually disjoint sets. Coniglio and Silvestrini, facing this scenario, proposed that the notion of predicates as triples could be extended to any formula present in first order language. The new system subjacent to this interpretation to quasi-truth is called LPT, a paraconsistent first order logic whose propositional base is a three-valued logic. The aim of the present work is to promote some develops of LPT, in the sense of conceive such three-valued paraconsistent logic as an extension of Propositional Calculus. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Please report errors in scientific publications list by writing to: cdi@fapesp.br.