Matches in SemOpenAlex for { <https://semopenalex.org/work/W2943236804> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2943236804 abstract "One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable. However, different degrees of satisfiability in many-valued logics, poses various kind of the compactness in these logics. One of this issues is the compactness of $K$-satisfiability. Here, after an overview on the results around the compactness of satisfiability and compactness of $K$-satisfiability in many-valued logic based on continuous t-norms (basic logic), we extend the results around this topic. To this end, we consider a reverse semantical meaning for basic logic. Then we introduce a topology on $[0,1]$ and $[0,1]^2$ that the interpretation of all logical connectives are continuous with respect to these topologies. Finally using this fact we extend the results around the compactness of satisfiability in basic ogic." @default.
- W2943236804 created "2019-05-09" @default.
- W2943236804 creator A5002713912 @default.
- W2943236804 date "2019-05-04" @default.
- W2943236804 modified "2023-09-27" @default.
- W2943236804 title "Compactness of first-order fuzzy logics" @default.
- W2943236804 hasPublicationYear "2019" @default.
- W2943236804 type Work @default.
- W2943236804 sameAs 2943236804 @default.
- W2943236804 citedByCount "0" @default.
- W2943236804 crossrefType "posted-content" @default.
- W2943236804 hasAuthorship W2943236804A5002713912 @default.
- W2943236804 hasConcept C118615104 @default.
- W2943236804 hasConcept C154945302 @default.
- W2943236804 hasConcept C168773769 @default.
- W2943236804 hasConcept C18648836 @default.
- W2943236804 hasConcept C1883856 @default.
- W2943236804 hasConcept C199360897 @default.
- W2943236804 hasConcept C202444582 @default.
- W2943236804 hasConcept C33923547 @default.
- W2943236804 hasConcept C41008148 @default.
- W2943236804 hasConcept C42011625 @default.
- W2943236804 hasConcept C527412718 @default.
- W2943236804 hasConcept C58166 @default.
- W2943236804 hasConcept C6943359 @default.
- W2943236804 hasConcept C86602344 @default.
- W2943236804 hasConceptScore W2943236804C118615104 @default.
- W2943236804 hasConceptScore W2943236804C154945302 @default.
- W2943236804 hasConceptScore W2943236804C168773769 @default.
- W2943236804 hasConceptScore W2943236804C18648836 @default.
- W2943236804 hasConceptScore W2943236804C1883856 @default.
- W2943236804 hasConceptScore W2943236804C199360897 @default.
- W2943236804 hasConceptScore W2943236804C202444582 @default.
- W2943236804 hasConceptScore W2943236804C33923547 @default.
- W2943236804 hasConceptScore W2943236804C41008148 @default.
- W2943236804 hasConceptScore W2943236804C42011625 @default.
- W2943236804 hasConceptScore W2943236804C527412718 @default.
- W2943236804 hasConceptScore W2943236804C58166 @default.
- W2943236804 hasConceptScore W2943236804C6943359 @default.
- W2943236804 hasConceptScore W2943236804C86602344 @default.
- W2943236804 hasLocation W29432368041 @default.
- W2943236804 hasOpenAccess W2943236804 @default.
- W2943236804 hasPrimaryLocation W29432368041 @default.
- W2943236804 hasRelatedWork W1207816824 @default.
- W2943236804 hasRelatedWork W1491083121 @default.
- W2943236804 hasRelatedWork W1533537820 @default.
- W2943236804 hasRelatedWork W1580357629 @default.
- W2943236804 hasRelatedWork W1710605610 @default.
- W2943236804 hasRelatedWork W1979333080 @default.
- W2943236804 hasRelatedWork W1989919258 @default.
- W2943236804 hasRelatedWork W2026379568 @default.
- W2943236804 hasRelatedWork W2073897909 @default.
- W2943236804 hasRelatedWork W2122971007 @default.
- W2943236804 hasRelatedWork W2126826317 @default.
- W2943236804 hasRelatedWork W2138558100 @default.
- W2943236804 hasRelatedWork W2141422763 @default.
- W2943236804 hasRelatedWork W2528006531 @default.
- W2943236804 hasRelatedWork W2765563486 @default.
- W2943236804 hasRelatedWork W2799457203 @default.
- W2943236804 hasRelatedWork W2921492640 @default.
- W2943236804 hasRelatedWork W3033912683 @default.
- W2943236804 hasRelatedWork W40658954 @default.
- W2943236804 hasRelatedWork W856013550 @default.
- W2943236804 isParatext "false" @default.
- W2943236804 isRetracted "false" @default.
- W2943236804 magId "2943236804" @default.
- W2943236804 workType "article" @default.