Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952101673> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2952101673 abstract "This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy and to falsify. We show, by means of an elementary chains construction, that each model can be elementarily extended to a saturated model where as many types as possible are realized. In order to prove this theorem we obtain, as by-products, some results on tableaux (understood as pairs of sets of formulas) and their consistency and satisfiability, and a generalization of the Tarski--Vaught theorem on unions of elementary chains." @default.
- W2952101673 created "2019-06-27" @default.
- W2952101673 creator A5038642668 @default.
- W2952101673 creator A5089384409 @default.
- W2952101673 date "2018-10-23" @default.
- W2952101673 modified "2023-09-23" @default.
- W2952101673 title "Saturated Models in Mathematical Fuzzy Logic" @default.
- W2952101673 cites W1499179478 @default.
- W2952101673 cites W1542113445 @default.
- W2952101673 cites W1553230187 @default.
- W2952101673 cites W1593399533 @default.
- W2952101673 cites W1984856495 @default.
- W2952101673 cites W1988776462 @default.
- W2952101673 cites W1997196510 @default.
- W2952101673 cites W2091957209 @default.
- W2952101673 cites W2097386663 @default.
- W2952101673 cites W2110182592 @default.
- W2952101673 cites W2112664318 @default.
- W2952101673 cites W2119353490 @default.
- W2952101673 cites W2122808108 @default.
- W2952101673 cites W2149111560 @default.
- W2952101673 cites W2168995070 @default.
- W2952101673 cites W2750038177 @default.
- W2952101673 cites W2799061192 @default.
- W2952101673 cites W2920142884 @default.
- W2952101673 cites W2970205057 @default.
- W2952101673 cites W3149236991 @default.
- W2952101673 hasPublicationYear "2018" @default.
- W2952101673 type Work @default.
- W2952101673 sameAs 2952101673 @default.
- W2952101673 citedByCount "0" @default.
- W2952101673 crossrefType "posted-content" @default.
- W2952101673 hasAuthorship W2952101673A5038642668 @default.
- W2952101673 hasAuthorship W2952101673A5089384409 @default.
- W2952101673 hasConcept C10138342 @default.
- W2952101673 hasConcept C118615104 @default.
- W2952101673 hasConcept C134306372 @default.
- W2952101673 hasConcept C136119220 @default.
- W2952101673 hasConcept C154945302 @default.
- W2952101673 hasConcept C162324750 @default.
- W2952101673 hasConcept C168773769 @default.
- W2952101673 hasConcept C177148314 @default.
- W2952101673 hasConcept C17744445 @default.
- W2952101673 hasConcept C182306322 @default.
- W2952101673 hasConcept C182365436 @default.
- W2952101673 hasConcept C199539241 @default.
- W2952101673 hasConcept C200288055 @default.
- W2952101673 hasConcept C202444582 @default.
- W2952101673 hasConcept C2776436953 @default.
- W2952101673 hasConcept C33923547 @default.
- W2952101673 hasConcept C41008148 @default.
- W2952101673 hasConcept C58166 @default.
- W2952101673 hasConceptScore W2952101673C10138342 @default.
- W2952101673 hasConceptScore W2952101673C118615104 @default.
- W2952101673 hasConceptScore W2952101673C134306372 @default.
- W2952101673 hasConceptScore W2952101673C136119220 @default.
- W2952101673 hasConceptScore W2952101673C154945302 @default.
- W2952101673 hasConceptScore W2952101673C162324750 @default.
- W2952101673 hasConceptScore W2952101673C168773769 @default.
- W2952101673 hasConceptScore W2952101673C177148314 @default.
- W2952101673 hasConceptScore W2952101673C17744445 @default.
- W2952101673 hasConceptScore W2952101673C182306322 @default.
- W2952101673 hasConceptScore W2952101673C182365436 @default.
- W2952101673 hasConceptScore W2952101673C199539241 @default.
- W2952101673 hasConceptScore W2952101673C200288055 @default.
- W2952101673 hasConceptScore W2952101673C202444582 @default.
- W2952101673 hasConceptScore W2952101673C2776436953 @default.
- W2952101673 hasConceptScore W2952101673C33923547 @default.
- W2952101673 hasConceptScore W2952101673C41008148 @default.
- W2952101673 hasConceptScore W2952101673C58166 @default.
- W2952101673 hasLocation W29521016731 @default.
- W2952101673 hasOpenAccess W2952101673 @default.
- W2952101673 hasPrimaryLocation W29521016731 @default.
- W2952101673 hasRelatedWork W109672481 @default.
- W2952101673 hasRelatedWork W186787920 @default.
- W2952101673 hasRelatedWork W1976208757 @default.
- W2952101673 hasRelatedWork W2061136919 @default.
- W2952101673 hasRelatedWork W2107348130 @default.
- W2952101673 hasRelatedWork W2135808442 @default.
- W2952101673 hasRelatedWork W2150132323 @default.
- W2952101673 hasRelatedWork W2152256008 @default.
- W2952101673 hasRelatedWork W2181607603 @default.
- W2952101673 hasRelatedWork W227481680 @default.
- W2952101673 hasRelatedWork W2295607337 @default.
- W2952101673 hasRelatedWork W2587092656 @default.
- W2952101673 hasRelatedWork W2775951081 @default.
- W2952101673 hasRelatedWork W2781245398 @default.
- W2952101673 hasRelatedWork W2949435408 @default.
- W2952101673 hasRelatedWork W2964613142 @default.
- W2952101673 hasRelatedWork W3100936774 @default.
- W2952101673 hasRelatedWork W3104711261 @default.
- W2952101673 hasRelatedWork W38608459 @default.
- W2952101673 hasRelatedWork W975773914 @default.
- W2952101673 isParatext "false" @default.
- W2952101673 isRetracted "false" @default.
- W2952101673 magId "2952101673" @default.
- W2952101673 workType "article" @default.