An alternative approach for quasi-truth

dc.creatorConiglio, ME
dc.creatorSilvestrini, LHD
dc.date2014
dc.dateAPR
dc.date2014-07-30T13:48:29Z
dc.date2015-11-26T17:57:51Z
dc.date2014-07-30T13:48:29Z
dc.date2015-11-26T17:57:51Z
dc.date.accessioned2018-03-29T00:41:26Z
dc.date.available2018-03-29T00:41:26Z
dc.identifierLogic Journal Of The Igpl. Oxford Univ Press, v. 22, n. 2, n. 387, n. 410, 2014.
dc.identifier1367-0751
dc.identifier1368-9894
dc.identifierWOS:000334094400013
dc.identifier10.1093/jigpal/jzt026
dc.identifierhttp://www.repositorio.unicamp.br/jspui/handle/REPOSIP/54289
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/54289
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1291598
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.descriptionIn 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002.
dc.description22
dc.description2
dc.descriptionSI
dc.description387
dc.description410
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
dc.descriptionFAPESP [2010/51038-0]
dc.languageen
dc.publisherOxford Univ Press
dc.publisherOxford
dc.publisherInglaterra
dc.relationLogic Journal Of The Igpl
dc.relationLog. J. IGPL
dc.rightsfechado
dc.rightshttp://www.oxfordjournals.org/access_purchase/self-archiving_policyb.html
dc.sourceWeb of Science
dc.subjectQuasi-truth
dc.subjectlogics of formal inconsistency
dc.subject3-valued paraconsistent logic
dc.subjectfirst-order paraconsistent logic
dc.subject3-valued model logic
dc.subjectparaconsistent model theory
dc.subjectPragmatic Truth
dc.subjectLogic
dc.subjectParadox
dc.titleAn alternative approach for quasi-truth
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución