Matches in SemOpenAlex for { <https://semopenalex.org/work/W2391565013> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2391565013 abstract "The resolution principle based on fourelement nonchain latticevalued logic LP4(X) is investigated and sound theorem and complete theorem of this resolution principle proved. Fourelement nonchain latticevalued logic LP4(X) as a fundamental and important lattice implication algebra which includes incomparable element, resolution based on LP4(X) will be the theoretical foundation of resolution algorithm. Accordingly, this paper will help support the application of intelligent reasoning system including incomparable element based on latticevalued logic." @default.
- W2391565013 created "2016-06-24" @default.
- W2391565013 creator A5018703681 @default.
- W2391565013 date "2003-01-01" @default.
- W2391565013 modified "2023-09-25" @default.
- W2391565013 title "Resolution Principle Based on Four-element Non-Chain Lattice-valued Proposition Logic LP_4(X)" @default.
- W2391565013 hasPublicationYear "2003" @default.
- W2391565013 type Work @default.
- W2391565013 sameAs 2391565013 @default.
- W2391565013 citedByCount "0" @default.
- W2391565013 crossrefType "journal-article" @default.
- W2391565013 hasAuthorship W2391565013A5018703681 @default.
- W2391565013 hasConcept C11413529 @default.
- W2391565013 hasConcept C118615104 @default.
- W2391565013 hasConcept C121332964 @default.
- W2391565013 hasConcept C136119220 @default.
- W2391565013 hasConcept C138268822 @default.
- W2391565013 hasConcept C154945302 @default.
- W2391565013 hasConcept C17744445 @default.
- W2391565013 hasConcept C199539241 @default.
- W2391565013 hasConcept C200288055 @default.
- W2391565013 hasConcept C202444582 @default.
- W2391565013 hasConcept C24890656 @default.
- W2391565013 hasConcept C2781204021 @default.
- W2391565013 hasConcept C33923547 @default.
- W2391565013 hasConcept C41008148 @default.
- W2391565013 hasConceptScore W2391565013C11413529 @default.
- W2391565013 hasConceptScore W2391565013C118615104 @default.
- W2391565013 hasConceptScore W2391565013C121332964 @default.
- W2391565013 hasConceptScore W2391565013C136119220 @default.
- W2391565013 hasConceptScore W2391565013C138268822 @default.
- W2391565013 hasConceptScore W2391565013C154945302 @default.
- W2391565013 hasConceptScore W2391565013C17744445 @default.
- W2391565013 hasConceptScore W2391565013C199539241 @default.
- W2391565013 hasConceptScore W2391565013C200288055 @default.
- W2391565013 hasConceptScore W2391565013C202444582 @default.
- W2391565013 hasConceptScore W2391565013C24890656 @default.
- W2391565013 hasConceptScore W2391565013C2781204021 @default.
- W2391565013 hasConceptScore W2391565013C33923547 @default.
- W2391565013 hasConceptScore W2391565013C41008148 @default.
- W2391565013 hasLocation W23915650131 @default.
- W2391565013 hasOpenAccess W2391565013 @default.
- W2391565013 hasPrimaryLocation W23915650131 @default.
- W2391565013 hasRelatedWork W1539056180 @default.
- W2391565013 hasRelatedWork W1977527057 @default.
- W2391565013 hasRelatedWork W1981472242 @default.
- W2391565013 hasRelatedWork W2005769316 @default.
- W2391565013 hasRelatedWork W2049403762 @default.
- W2391565013 hasRelatedWork W2058341526 @default.
- W2391565013 hasRelatedWork W2073190600 @default.
- W2391565013 hasRelatedWork W2108143882 @default.
- W2391565013 hasRelatedWork W2139538746 @default.
- W2391565013 hasRelatedWork W2149799278 @default.
- W2391565013 hasRelatedWork W2314865586 @default.
- W2391565013 hasRelatedWork W2332960292 @default.
- W2391565013 hasRelatedWork W2354207954 @default.
- W2391565013 hasRelatedWork W2356475923 @default.
- W2391565013 hasRelatedWork W2383226035 @default.
- W2391565013 hasRelatedWork W2390262256 @default.
- W2391565013 hasRelatedWork W2502592170 @default.
- W2391565013 hasRelatedWork W2538898597 @default.
- W2391565013 hasRelatedWork W172110851 @default.
- W2391565013 hasRelatedWork W2582925432 @default.
- W2391565013 isParatext "false" @default.
- W2391565013 isRetracted "false" @default.
- W2391565013 magId "2391565013" @default.
- W2391565013 workType "article" @default.