Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002121477> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2002121477 abstract "In this paper, we present set theories based upon the paraconsistent logic Pac. We describe two different techniques to construct models of such set theories. The first of these is an adaptation of one used to construct classical models of positive comprehension. The properties of the models obtained in that way give rise to a natural paraconsistent set theory which is presented here. The status of the axiom of choice in that theory is also discussed. The second leads to show that any classical universe of set theory (e.g. a model of ZF) can be extended to a paraconsistent one, via a term model construction using an adapted bisimulation technique." @default.
- W2002121477 created "2016-06-24" @default.
- W2002121477 creator A5058854207 @default.
- W2002121477 date "2003-11-23" @default.
- W2002121477 modified "2023-09-23" @default.
- W2002121477 title "ZF and the axiom of choice in some paraconsistent set theories" @default.
- W2002121477 cites W1535709177 @default.
- W2002121477 cites W1747194215 @default.
- W2002121477 cites W1987181457 @default.
- W2002121477 cites W2018916188 @default.
- W2002121477 cites W2031548494 @default.
- W2002121477 cites W2059980894 @default.
- W2002121477 cites W2084525271 @default.
- W2002121477 cites W2085956853 @default.
- W2002121477 cites W2092490196 @default.
- W2002121477 cites W2165473014 @default.
- W2002121477 cites W26530055 @default.
- W2002121477 cites W606001316 @default.
- W2002121477 doi "https://doi.org/10.12775/llp.2003.005" @default.
- W2002121477 hasPublicationYear "2003" @default.
- W2002121477 type Work @default.
- W2002121477 sameAs 2002121477 @default.
- W2002121477 citedByCount "5" @default.
- W2002121477 countsByYear W20021214772012 @default.
- W2002121477 crossrefType "journal-article" @default.
- W2002121477 hasAuthorship W2002121477A5058854207 @default.
- W2002121477 hasBestOaLocation W20021214771 @default.
- W2002121477 hasConcept C102993220 @default.
- W2002121477 hasConcept C118615104 @default.
- W2002121477 hasConcept C135315306 @default.
- W2002121477 hasConcept C144237770 @default.
- W2002121477 hasConcept C151797676 @default.
- W2002121477 hasConcept C153046414 @default.
- W2002121477 hasConcept C167729594 @default.
- W2002121477 hasConcept C16796852 @default.
- W2002121477 hasConcept C177264268 @default.
- W2002121477 hasConcept C199360897 @default.
- W2002121477 hasConcept C203659156 @default.
- W2002121477 hasConcept C2524010 @default.
- W2002121477 hasConcept C2780801425 @default.
- W2002121477 hasConcept C33923547 @default.
- W2002121477 hasConcept C41008148 @default.
- W2002121477 hasConcept C51460 @default.
- W2002121477 hasConcept C78550038 @default.
- W2002121477 hasConcept C80444323 @default.
- W2002121477 hasConceptScore W2002121477C102993220 @default.
- W2002121477 hasConceptScore W2002121477C118615104 @default.
- W2002121477 hasConceptScore W2002121477C135315306 @default.
- W2002121477 hasConceptScore W2002121477C144237770 @default.
- W2002121477 hasConceptScore W2002121477C151797676 @default.
- W2002121477 hasConceptScore W2002121477C153046414 @default.
- W2002121477 hasConceptScore W2002121477C167729594 @default.
- W2002121477 hasConceptScore W2002121477C16796852 @default.
- W2002121477 hasConceptScore W2002121477C177264268 @default.
- W2002121477 hasConceptScore W2002121477C199360897 @default.
- W2002121477 hasConceptScore W2002121477C203659156 @default.
- W2002121477 hasConceptScore W2002121477C2524010 @default.
- W2002121477 hasConceptScore W2002121477C2780801425 @default.
- W2002121477 hasConceptScore W2002121477C33923547 @default.
- W2002121477 hasConceptScore W2002121477C41008148 @default.
- W2002121477 hasConceptScore W2002121477C51460 @default.
- W2002121477 hasConceptScore W2002121477C78550038 @default.
- W2002121477 hasConceptScore W2002121477C80444323 @default.
- W2002121477 hasIssue "0" @default.
- W2002121477 hasLocation W20021214771 @default.
- W2002121477 hasOpenAccess W2002121477 @default.
- W2002121477 hasPrimaryLocation W20021214771 @default.
- W2002121477 hasRelatedWork W1993159501 @default.
- W2002121477 hasRelatedWork W2002121477 @default.
- W2002121477 hasRelatedWork W2019859807 @default.
- W2002121477 hasRelatedWork W2321385421 @default.
- W2002121477 hasRelatedWork W2353753416 @default.
- W2002121477 hasRelatedWork W2504558966 @default.
- W2002121477 hasRelatedWork W2892204474 @default.
- W2002121477 hasRelatedWork W3034911147 @default.
- W2002121477 hasRelatedWork W4205188044 @default.
- W2002121477 hasRelatedWork W579532077 @default.
- W2002121477 hasVolume "11" @default.
- W2002121477 isParatext "false" @default.
- W2002121477 isRetracted "false" @default.
- W2002121477 magId "2002121477" @default.
- W2002121477 workType "article" @default.