We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
An alternative approach for quasi-truth.
- Authors
Coniglio, Marcelo Esteban; Silvestrini, Luiz Henrique Da Cruz
- Abstract
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.
- Subjects
STRUCTURAL proof theory; FIRST-order logic; PARTIAL algebras; INCONSISTENCY (Logic); MATHEMATICAL models; SEMANTICS; MODAL logic
- Publication
Logic Journal of the IGPL, 2014, Vol 22, Issue 2, p387
- ISSN
1367-0751
- Publication type
Article
- DOI
10.1093/jigpal/jzt026