Matches in SemOpenAlex for { <https://semopenalex.org/work/W2358744023> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2358744023 abstract "The details of proving the completeness theorem of formula system L~*, which is given by Prof. Wang, are reviewed, and the proving of strong completeness about L~* is analyzed and revised. In addition, an equivalent description of representation theorem on strong negation operator is given, moreover, the generalized tautology on infinite valued logic based on different strong negation operators w.r.t. R_0-implication is studied, and a new partition based on fixed point of a strong negation is also obtained." @default.
- W2358744023 created "2016-06-24" @default.
- W2358744023 creator A5034528379 @default.
- W2358744023 date "2005-01-01" @default.
- W2358744023 modified "2023-09-23" @default.
- W2358744023 title "Notes on proving of (strong) completeness theorem of L" @default.
- W2358744023 hasPublicationYear "2005" @default.
- W2358744023 type Work @default.
- W2358744023 sameAs 2358744023 @default.
- W2358744023 citedByCount "0" @default.
- W2358744023 crossrefType "journal-article" @default.
- W2358744023 hasAuthorship W2358744023A5034528379 @default.
- W2358744023 hasConcept C102993220 @default.
- W2358744023 hasConcept C104317684 @default.
- W2358744023 hasConcept C118615104 @default.
- W2358744023 hasConcept C134306372 @default.
- W2358744023 hasConcept C136119220 @default.
- W2358744023 hasConcept C158448853 @default.
- W2358744023 hasConcept C166374712 @default.
- W2358744023 hasConcept C17020691 @default.
- W2358744023 hasConcept C17231256 @default.
- W2358744023 hasConcept C185592680 @default.
- W2358744023 hasConcept C194146651 @default.
- W2358744023 hasConcept C199343813 @default.
- W2358744023 hasConcept C199360897 @default.
- W2358744023 hasConcept C200116569 @default.
- W2358744023 hasConcept C202444582 @default.
- W2358744023 hasConcept C203659156 @default.
- W2358744023 hasConcept C2185349 @default.
- W2358744023 hasConcept C2777686260 @default.
- W2358744023 hasConcept C33923547 @default.
- W2358744023 hasConcept C3845977 @default.
- W2358744023 hasConcept C41008148 @default.
- W2358744023 hasConcept C45962547 @default.
- W2358744023 hasConcept C55493867 @default.
- W2358744023 hasConcept C71924100 @default.
- W2358744023 hasConcept C86339819 @default.
- W2358744023 hasConceptScore W2358744023C102993220 @default.
- W2358744023 hasConceptScore W2358744023C104317684 @default.
- W2358744023 hasConceptScore W2358744023C118615104 @default.
- W2358744023 hasConceptScore W2358744023C134306372 @default.
- W2358744023 hasConceptScore W2358744023C136119220 @default.
- W2358744023 hasConceptScore W2358744023C158448853 @default.
- W2358744023 hasConceptScore W2358744023C166374712 @default.
- W2358744023 hasConceptScore W2358744023C17020691 @default.
- W2358744023 hasConceptScore W2358744023C17231256 @default.
- W2358744023 hasConceptScore W2358744023C185592680 @default.
- W2358744023 hasConceptScore W2358744023C194146651 @default.
- W2358744023 hasConceptScore W2358744023C199343813 @default.
- W2358744023 hasConceptScore W2358744023C199360897 @default.
- W2358744023 hasConceptScore W2358744023C200116569 @default.
- W2358744023 hasConceptScore W2358744023C202444582 @default.
- W2358744023 hasConceptScore W2358744023C203659156 @default.
- W2358744023 hasConceptScore W2358744023C2185349 @default.
- W2358744023 hasConceptScore W2358744023C2777686260 @default.
- W2358744023 hasConceptScore W2358744023C33923547 @default.
- W2358744023 hasConceptScore W2358744023C3845977 @default.
- W2358744023 hasConceptScore W2358744023C41008148 @default.
- W2358744023 hasConceptScore W2358744023C45962547 @default.
- W2358744023 hasConceptScore W2358744023C55493867 @default.
- W2358744023 hasConceptScore W2358744023C71924100 @default.
- W2358744023 hasConceptScore W2358744023C86339819 @default.
- W2358744023 hasLocation W23587440231 @default.
- W2358744023 hasOpenAccess W2358744023 @default.
- W2358744023 hasPrimaryLocation W23587440231 @default.
- W2358744023 hasRelatedWork W11362446 @default.
- W2358744023 hasRelatedWork W1492332250 @default.
- W2358744023 hasRelatedWork W1560329072 @default.
- W2358744023 hasRelatedWork W1829763902 @default.
- W2358744023 hasRelatedWork W191613481 @default.
- W2358744023 hasRelatedWork W193857920 @default.
- W2358744023 hasRelatedWork W1963842936 @default.
- W2358744023 hasRelatedWork W1993203911 @default.
- W2358744023 hasRelatedWork W2125694042 @default.
- W2358744023 hasRelatedWork W2128776156 @default.
- W2358744023 hasRelatedWork W2202700664 @default.
- W2358744023 hasRelatedWork W2230788496 @default.
- W2358744023 hasRelatedWork W2369292347 @default.
- W2358744023 hasRelatedWork W2407492851 @default.
- W2358744023 hasRelatedWork W2782880808 @default.
- W2358744023 hasRelatedWork W2897883321 @default.
- W2358744023 hasRelatedWork W2899353103 @default.
- W2358744023 hasRelatedWork W2952799563 @default.
- W2358744023 hasRelatedWork W31538685 @default.
- W2358744023 hasRelatedWork W915409256 @default.
- W2358744023 isParatext "false" @default.
- W2358744023 isRetracted "false" @default.
- W2358744023 magId "2358744023" @default.
- W2358744023 workType "article" @default.