Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116735397> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2116735397 endingPage "485" @default.
- W2116735397 startingPage "473" @default.
- W2116735397 abstract "Our aim in this article is twofold. First, for an arbitrary closed subset V of [0,1] containing both 0 and 1, the compactness theorem for the Gödel logic GV is investigated. Next, following Cintula and Navara (2004, Fuzzy sets and systems, 143, 59–73) and Tavana et al. (2012, Logic J. IGPL, 20, 254–265), for any subset K of [0,1], the notions of K-satisfiability and K-compactness are introduced for the standard first-order Gödel logic Gℝ. It is shown that whenever K is closed, the K-compactness fails for Gℝ if and only if K is infinitely countable and 1 ∉ K." @default.
- W2116735397 created "2016-06-24" @default.
- W2116735397 creator A5013241498 @default.
- W2116735397 creator A5078100736 @default.
- W2116735397 date "2012-09-03" @default.
- W2116735397 modified "2023-09-26" @default.
- W2116735397 title "Compactness in first-order Godel logics" @default.
- W2116735397 cites W1611875164 @default.
- W2116735397 cites W1970249071 @default.
- W2116735397 cites W2015436680 @default.
- W2116735397 cites W2084875152 @default.
- W2116735397 cites W2094497404 @default.
- W2116735397 cites W2096482476 @default.
- W2116735397 cites W2145523140 @default.
- W2116735397 doi "https://doi.org/10.1093/logcom/exs037" @default.
- W2116735397 hasPublicationYear "2012" @default.
- W2116735397 type Work @default.
- W2116735397 sameAs 2116735397 @default.
- W2116735397 citedByCount "3" @default.
- W2116735397 countsByYear W21167353972014 @default.
- W2116735397 countsByYear W21167353972015 @default.
- W2116735397 countsByYear W21167353972023 @default.
- W2116735397 crossrefType "journal-article" @default.
- W2116735397 hasAuthorship W2116735397A5013241498 @default.
- W2116735397 hasAuthorship W2116735397A5078100736 @default.
- W2116735397 hasConcept C10138342 @default.
- W2116735397 hasConcept C110729354 @default.
- W2116735397 hasConcept C118615104 @default.
- W2116735397 hasConcept C146147875 @default.
- W2116735397 hasConcept C154945302 @default.
- W2116735397 hasConcept C162324750 @default.
- W2116735397 hasConcept C171636804 @default.
- W2116735397 hasConcept C182306322 @default.
- W2116735397 hasConcept C18648836 @default.
- W2116735397 hasConcept C202444582 @default.
- W2116735397 hasConcept C2781302003 @default.
- W2116735397 hasConcept C33923547 @default.
- W2116735397 hasConcept C41008148 @default.
- W2116735397 hasConcept C45962547 @default.
- W2116735397 hasConcept C58166 @default.
- W2116735397 hasConceptScore W2116735397C10138342 @default.
- W2116735397 hasConceptScore W2116735397C110729354 @default.
- W2116735397 hasConceptScore W2116735397C118615104 @default.
- W2116735397 hasConceptScore W2116735397C146147875 @default.
- W2116735397 hasConceptScore W2116735397C154945302 @default.
- W2116735397 hasConceptScore W2116735397C162324750 @default.
- W2116735397 hasConceptScore W2116735397C171636804 @default.
- W2116735397 hasConceptScore W2116735397C182306322 @default.
- W2116735397 hasConceptScore W2116735397C18648836 @default.
- W2116735397 hasConceptScore W2116735397C202444582 @default.
- W2116735397 hasConceptScore W2116735397C2781302003 @default.
- W2116735397 hasConceptScore W2116735397C33923547 @default.
- W2116735397 hasConceptScore W2116735397C41008148 @default.
- W2116735397 hasConceptScore W2116735397C45962547 @default.
- W2116735397 hasConceptScore W2116735397C58166 @default.
- W2116735397 hasIssue "3" @default.
- W2116735397 hasLocation W21167353971 @default.
- W2116735397 hasOpenAccess W2116735397 @default.
- W2116735397 hasPrimaryLocation W21167353971 @default.
- W2116735397 hasRelatedWork W1524077760 @default.
- W2116735397 hasRelatedWork W1966007443 @default.
- W2116735397 hasRelatedWork W1996580892 @default.
- W2116735397 hasRelatedWork W2084875152 @default.
- W2116735397 hasRelatedWork W2131524578 @default.
- W2116735397 hasRelatedWork W2899353103 @default.
- W2116735397 hasRelatedWork W2938315078 @default.
- W2116735397 hasRelatedWork W3006582179 @default.
- W2116735397 hasRelatedWork W4221156678 @default.
- W2116735397 hasRelatedWork W4256444464 @default.
- W2116735397 hasVolume "23" @default.
- W2116735397 isParatext "false" @default.
- W2116735397 isRetracted "false" @default.
- W2116735397 magId "2116735397" @default.
- W2116735397 workType "article" @default.