| dc.contributor | Universidade Estadual de Campinas (UNICAMP) | |
| dc.contributor | Universidade Estadual Paulista (Unesp) | |
| dc.creator | Coniglio, Marcelo Esteban | |
| dc.creator | Cruz Silvestrini, Luiz Henrique da [UNESP] | |
| dc.date | 2014-12-03T13:11:46Z | |
| dc.date | 2014-12-03T13:11:46Z | |
| dc.date | 2014-04-01 | |
| dc.date.accessioned | 2023-09-09T10:17:06Z | |
| dc.date.available | 2023-09-09T10:17:06Z | |
| dc.identifier | http://dx.doi.org/10.1093/jigpal/jzt026 | |
| dc.identifier | Logic Journal Of The Igpl. Oxford: Oxford Univ Press, v. 22, n. 2, p. 387-410, 2014. | |
| dc.identifier | 1367-0751 | |
| dc.identifier | http://hdl.handle.net/11449/113529 | |
| dc.identifier | 10.1093/jigpal/jzt026 | |
| dc.identifier | WOS:000334094400013 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/8763125 | |
| dc.description | In 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.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) | |
| dc.description | State Univ Campinas UNICAMP, Ctr Log Epistemol & Hist Sci CLE, BR-13083859 Campinas, SP, Brazil | |
| dc.description | State Univ Campinas UNICAMP, Dept Philosophy, BR-13083859 Campinas, SP, Brazil | |
| dc.description | Sao Paulo State Univ UNESP, Dept Math, BR-17033360 Bauru, SP, Brazil | |
| dc.description | Sao Paulo State Univ UNESP, Dept Math, BR-17033360 Bauru, SP, Brazil | |
| dc.description | FAPESP: 10/51038-0 | |
| dc.format | 387-410 | |
| dc.language | eng | |
| dc.publisher | Oxford University Press | |
| dc.relation | Logic Journal Of The Igpl | |
| dc.relation | 0.449 | |
| dc.relation | 0,298 | |
| dc.rights | Acesso restrito | |
| dc.source | Web of Science | |
| dc.subject | Quasi-truth | |
| dc.subject | logics of formal inconsistency | |
| dc.subject | 3-valued paraconsistent logic | |
| dc.subject | first-order paraconsistent logic | |
| dc.subject | 3-valued model logic | |
| dc.subject | paraconsistent model theory | |
| dc.title | An alternative approach for quasi-truth | |
| dc.type | Artigo | |
