SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W65355507> ?p ?o ?g. }

Showing items 1 to 100 of ±110 with 100 items per page.

W65355507 endingPage "439" @default.
W65355507 startingPage "431" @default.
W65355507 abstract "Using non-deterministic structures called Nmatrices, we provide simple modular non-deterministic semantics for a large family of first-order paraconsistent logics with a formal consistency operator, also known as LFIs. This includes da-Costa's well known predicate calculus C*1. We show how consistency propagation in quantified formulas is captured in the semantic framework of Nmatrices, and analyze the semantic effects of different styles of propagation considered in the literature of LFIs. Then we demonstrate how the tool of Nmatrices can be applied to prove a non-trivial property of first-order LFIs discussed in this paper." @default.
W65355507 created "2016-06-24" @default.
W65355507 creator A5031903932 @default.
W65355507 creator A5071426595 @default.
W65355507 date "2006-06-02" @default.
W65355507 modified "2023-09-23" @default.
W65355507 title "Non-deterministic semantics for first-order paraconsistent logics" @default.
W65355507 cites W1481398220 @default.
W65355507 cites W1505767531 @default.
W65355507 cites W1514220247 @default.
W65355507 cites W1571738120 @default.
W65355507 cites W1904980495 @default.
W65355507 cites W2059238947 @default.
W65355507 cites W2070036413 @default.
W65355507 cites W2073970703 @default.
W65355507 cites W2116348452 @default.
W65355507 cites W2142616542 @default.
W65355507 cites W2150792576 @default.
W65355507 cites W2263107557 @default.
W65355507 cites W368672113 @default.
W65355507 hasPublicationYear "2006" @default.
W65355507 type Work @default.
W65355507 sameAs 65355507 @default.
W65355507 citedByCount "3" @default.
W65355507 crossrefType "proceedings-article" @default.
W65355507 hasAuthorship W65355507A5031903932 @default.
W65355507 hasAuthorship W65355507A5071426595 @default.
W65355507 hasConcept C100481476 @default.
W65355507 hasConcept C101468663 @default.
W65355507 hasConcept C102993220 @default.
W65355507 hasConcept C104317684 @default.
W65355507 hasConcept C111472728 @default.
W65355507 hasConcept C11413529 @default.
W65355507 hasConcept C138885662 @default.
W65355507 hasConcept C140146324 @default.
W65355507 hasConcept C154945302 @default.
W65355507 hasConcept C158448853 @default.
W65355507 hasConcept C16796852 @default.
W65355507 hasConcept C169896238 @default.
W65355507 hasConcept C17020691 @default.
W65355507 hasConcept C184337299 @default.
W65355507 hasConcept C185592680 @default.
W65355507 hasConcept C1883856 @default.
W65355507 hasConcept C189950617 @default.
W65355507 hasConcept C199360897 @default.
W65355507 hasConcept C2776436953 @default.
W65355507 hasConcept C2780586882 @default.
W65355507 hasConcept C41008148 @default.
W65355507 hasConcept C42011625 @default.
W65355507 hasConcept C55493867 @default.
W65355507 hasConcept C58166 @default.
W65355507 hasConcept C80444323 @default.
W65355507 hasConcept C86339819 @default.
W65355507 hasConcept C98224912 @default.
W65355507 hasConceptScore W65355507C100481476 @default.
W65355507 hasConceptScore W65355507C101468663 @default.
W65355507 hasConceptScore W65355507C102993220 @default.
W65355507 hasConceptScore W65355507C104317684 @default.
W65355507 hasConceptScore W65355507C111472728 @default.
W65355507 hasConceptScore W65355507C11413529 @default.
W65355507 hasConceptScore W65355507C138885662 @default.
W65355507 hasConceptScore W65355507C140146324 @default.
W65355507 hasConceptScore W65355507C154945302 @default.
W65355507 hasConceptScore W65355507C158448853 @default.
W65355507 hasConceptScore W65355507C16796852 @default.
W65355507 hasConceptScore W65355507C169896238 @default.
W65355507 hasConceptScore W65355507C17020691 @default.
W65355507 hasConceptScore W65355507C184337299 @default.
W65355507 hasConceptScore W65355507C185592680 @default.
W65355507 hasConceptScore W65355507C1883856 @default.
W65355507 hasConceptScore W65355507C189950617 @default.
W65355507 hasConceptScore W65355507C199360897 @default.
W65355507 hasConceptScore W65355507C2776436953 @default.
W65355507 hasConceptScore W65355507C2780586882 @default.
W65355507 hasConceptScore W65355507C41008148 @default.
W65355507 hasConceptScore W65355507C42011625 @default.
W65355507 hasConceptScore W65355507C55493867 @default.
W65355507 hasConceptScore W65355507C58166 @default.
W65355507 hasConceptScore W65355507C80444323 @default.
W65355507 hasConceptScore W65355507C86339819 @default.
W65355507 hasConceptScore W65355507C98224912 @default.
W65355507 hasLocation W653555071 @default.
W65355507 hasOpenAccess W65355507 @default.
W65355507 hasPrimaryLocation W653555071 @default.
W65355507 hasRelatedWork W1514150835 @default.
W65355507 hasRelatedWork W1580260691 @default.
W65355507 hasRelatedWork W1667900866 @default.
W65355507 hasRelatedWork W1988056011 @default.
W65355507 hasRelatedWork W2026518570 @default.
W65355507 hasRelatedWork W2058320474 @default.
W65355507 hasRelatedWork W2063503730 @default.
W65355507 hasRelatedWork W2125129162 @default.
W65355507 hasRelatedWork W2377009953 @default.
W65355507 hasRelatedWork W2385894142 @default.
W65355507 hasRelatedWork W2393916216 @default.
W65355507 hasRelatedWork W2473080212 @default.
W65355507 hasRelatedWork W2560075940 @default.
W65355507 hasRelatedWork W2561486744 @default.