Matches in SemOpenAlex for { <https://semopenalex.org/work/W2884993066> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2884993066 abstract "In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which are first-order structures in which each n-ary predicate R is interpreted as a triple of paiwise disjoint sets of n-uples representing, respectively, the set of tuples which actually belong to R, the set of tuples which actually do not belong to R, and the set of tuples whose status is dubious or contradictory. Partial structures were proposed in 1986 by I. Mikenberg, N. da Costa and R. Chuaqui for the theory of quasi-truth (or pragmatic truth). In 2014, partial structures were studied by M. Coniglio and L. Silvestrini for a 3-valued paraconsistent first-order logic called LPT1, whose 3-valued propositional fragment is equivalent to da Costa-D'Otaviano's logic J3. This approach is adapted in this paper to QCiore, and some important results of classical Model Theory such as Robinson's joint consistency theorem, amalgamation and interpolation are obtained. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order logics." @default.
- W2884993066 created "2018-08-03" @default.
- W2884993066 creator A5004101408 @default.
- W2884993066 creator A5027425027 @default.
- W2884993066 creator A5037312962 @default.
- W2884993066 date "2018-07-16" @default.
- W2884993066 modified "2023-09-27" @default.
- W2884993066 title "Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore" @default.
- W2884993066 cites W1481398220 @default.
- W2884993066 cites W1505767531 @default.
- W2884993066 cites W1978201126 @default.
- W2884993066 cites W1984820433 @default.
- W2884993066 cites W2007838222 @default.
- W2884993066 cites W2022760936 @default.
- W2884993066 cites W2029571501 @default.
- W2884993066 cites W2073721756 @default.
- W2884993066 cites W2161382787 @default.
- W2884993066 cites W2189295089 @default.
- W2884993066 cites W2493240959 @default.
- W2884993066 cites W2752718065 @default.
- W2884993066 cites W2963206298 @default.
- W2884993066 cites W3109205082 @default.
- W2884993066 hasPublicationYear "2018" @default.
- W2884993066 type Work @default.
- W2884993066 sameAs 2884993066 @default.
- W2884993066 citedByCount "0" @default.
- W2884993066 crossrefType "posted-content" @default.
- W2884993066 hasAuthorship W2884993066A5004101408 @default.
- W2884993066 hasAuthorship W2884993066A5027425027 @default.
- W2884993066 hasAuthorship W2884993066A5037312962 @default.
- W2884993066 hasConcept C100481476 @default.
- W2884993066 hasConcept C10138342 @default.
- W2884993066 hasConcept C102993220 @default.
- W2884993066 hasConcept C11413529 @default.
- W2884993066 hasConcept C118615104 @default.
- W2884993066 hasConcept C118930307 @default.
- W2884993066 hasConcept C154945302 @default.
- W2884993066 hasConcept C162324750 @default.
- W2884993066 hasConcept C16796852 @default.
- W2884993066 hasConcept C169896238 @default.
- W2884993066 hasConcept C182306322 @default.
- W2884993066 hasConcept C199360897 @default.
- W2884993066 hasConcept C2776235265 @default.
- W2884993066 hasConcept C2778003309 @default.
- W2884993066 hasConcept C32241873 @default.
- W2884993066 hasConcept C33203268 @default.
- W2884993066 hasConcept C33923547 @default.
- W2884993066 hasConcept C41008148 @default.
- W2884993066 hasConcept C45340560 @default.
- W2884993066 hasConcept C46274116 @default.
- W2884993066 hasConcept C69562738 @default.
- W2884993066 hasConceptScore W2884993066C100481476 @default.
- W2884993066 hasConceptScore W2884993066C10138342 @default.
- W2884993066 hasConceptScore W2884993066C102993220 @default.
- W2884993066 hasConceptScore W2884993066C11413529 @default.
- W2884993066 hasConceptScore W2884993066C118615104 @default.
- W2884993066 hasConceptScore W2884993066C118930307 @default.
- W2884993066 hasConceptScore W2884993066C154945302 @default.
- W2884993066 hasConceptScore W2884993066C162324750 @default.
- W2884993066 hasConceptScore W2884993066C16796852 @default.
- W2884993066 hasConceptScore W2884993066C169896238 @default.
- W2884993066 hasConceptScore W2884993066C182306322 @default.
- W2884993066 hasConceptScore W2884993066C199360897 @default.
- W2884993066 hasConceptScore W2884993066C2776235265 @default.
- W2884993066 hasConceptScore W2884993066C2778003309 @default.
- W2884993066 hasConceptScore W2884993066C32241873 @default.
- W2884993066 hasConceptScore W2884993066C33203268 @default.
- W2884993066 hasConceptScore W2884993066C33923547 @default.
- W2884993066 hasConceptScore W2884993066C41008148 @default.
- W2884993066 hasConceptScore W2884993066C45340560 @default.
- W2884993066 hasConceptScore W2884993066C46274116 @default.
- W2884993066 hasConceptScore W2884993066C69562738 @default.
- W2884993066 hasLocation W28849930661 @default.
- W2884993066 hasOpenAccess W2884993066 @default.
- W2884993066 hasPrimaryLocation W28849930661 @default.
- W2884993066 hasRelatedWork W1492490874 @default.
- W2884993066 hasRelatedWork W1531228811 @default.
- W2884993066 hasRelatedWork W1778421935 @default.
- W2884993066 hasRelatedWork W1856792357 @default.
- W2884993066 hasRelatedWork W1974116318 @default.
- W2884993066 hasRelatedWork W1976533476 @default.
- W2884993066 hasRelatedWork W1991804617 @default.
- W2884993066 hasRelatedWork W2030984848 @default.
- W2884993066 hasRelatedWork W2156452084 @default.
- W2884993066 hasRelatedWork W2160312815 @default.
- W2884993066 hasRelatedWork W2358407841 @default.
- W2884993066 hasRelatedWork W2381348598 @default.
- W2884993066 hasRelatedWork W2391208245 @default.
- W2884993066 hasRelatedWork W244430048 @default.
- W2884993066 hasRelatedWork W26766967 @default.
- W2884993066 hasRelatedWork W2745840098 @default.
- W2884993066 hasRelatedWork W2963797676 @default.
- W2884993066 hasRelatedWork W2989752675 @default.
- W2884993066 hasRelatedWork W3135477129 @default.
- W2884993066 hasRelatedWork W3145527481 @default.
- W2884993066 isParatext "false" @default.
- W2884993066 isRetracted "false" @default.
- W2884993066 magId "2884993066" @default.
- W2884993066 workType "article" @default.