Matches in SemOpenAlex for { <https://semopenalex.org/work/W2283886275> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2283886275 abstract "This paper focuses on multi-ary α-semantic resolution automated reasoning method based on multi-ary α-resolution principle for a lattice-valued logic with truth-value in a lattice implication algebra. Firstly, the definitions of the multi-aryα-semantic resolution and multi-ary α-semantic resolution deduction in LF (X) are given, respectively, the soundness and completeness of this ground case are gotten. Secondly, the validity of multi-ary α-semantic resolution method is analyzed. Thirdly, the algorithm for multi-ary α-semantic resolution methods based on lattice-valued first-order logicLF (X) is constructed. This work will provide a theoretical foundation for the more efficient resolution based automated reasoning in lattice-valued logic." @default.
- W2283886275 created "2016-06-24" @default.
- W2283886275 creator A5013638590 @default.
- W2283886275 creator A5089004185 @default.
- W2283886275 creator A5090989509 @default.
- W2283886275 date "2015-10-23" @default.
- W2283886275 modified "2023-09-23" @default.
- W2283886275 title "Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1" @default.
- W2283886275 cites W1981472242 @default.
- W2283886275 cites W1984923536 @default.
- W2283886275 cites W2003287551 @default.
- W2283886275 cites W2006522764 @default.
- W2283886275 cites W2020794409 @default.
- W2283886275 cites W2049403762 @default.
- W2283886275 cites W2058341526 @default.
- W2283886275 cites W2084272226 @default.
- W2283886275 cites W2100738443 @default.
- W2283886275 doi "https://doi.org/10.3233/ifs-151637" @default.
- W2283886275 hasPublicationYear "2015" @default.
- W2283886275 type Work @default.
- W2283886275 sameAs 2283886275 @default.
- W2283886275 citedByCount "6" @default.
- W2283886275 countsByYear W22838862752016 @default.
- W2283886275 countsByYear W22838862752017 @default.
- W2283886275 countsByYear W22838862752018 @default.
- W2283886275 crossrefType "journal-article" @default.
- W2283886275 hasAuthorship W2283886275A5013638590 @default.
- W2283886275 hasAuthorship W2283886275A5089004185 @default.
- W2283886275 hasAuthorship W2283886275A5090989509 @default.
- W2283886275 hasConcept C102993220 @default.
- W2283886275 hasConcept C11413529 @default.
- W2283886275 hasConcept C121332964 @default.
- W2283886275 hasConcept C134306372 @default.
- W2283886275 hasConcept C138268822 @default.
- W2283886275 hasConcept C146849305 @default.
- W2283886275 hasConcept C154945302 @default.
- W2283886275 hasConcept C17231256 @default.
- W2283886275 hasConcept C195344581 @default.
- W2283886275 hasConcept C199360897 @default.
- W2283886275 hasConcept C204321447 @default.
- W2283886275 hasConcept C24890656 @default.
- W2283886275 hasConcept C2781204021 @default.
- W2283886275 hasConcept C33923547 @default.
- W2283886275 hasConcept C39920170 @default.
- W2283886275 hasConcept C41008148 @default.
- W2283886275 hasConcept C80444323 @default.
- W2283886275 hasConceptScore W2283886275C102993220 @default.
- W2283886275 hasConceptScore W2283886275C11413529 @default.
- W2283886275 hasConceptScore W2283886275C121332964 @default.
- W2283886275 hasConceptScore W2283886275C134306372 @default.
- W2283886275 hasConceptScore W2283886275C138268822 @default.
- W2283886275 hasConceptScore W2283886275C146849305 @default.
- W2283886275 hasConceptScore W2283886275C154945302 @default.
- W2283886275 hasConceptScore W2283886275C17231256 @default.
- W2283886275 hasConceptScore W2283886275C195344581 @default.
- W2283886275 hasConceptScore W2283886275C199360897 @default.
- W2283886275 hasConceptScore W2283886275C204321447 @default.
- W2283886275 hasConceptScore W2283886275C24890656 @default.
- W2283886275 hasConceptScore W2283886275C2781204021 @default.
- W2283886275 hasConceptScore W2283886275C33923547 @default.
- W2283886275 hasConceptScore W2283886275C39920170 @default.
- W2283886275 hasConceptScore W2283886275C41008148 @default.
- W2283886275 hasConceptScore W2283886275C80444323 @default.
- W2283886275 hasLocation W22838862751 @default.
- W2283886275 hasOpenAccess W2283886275 @default.
- W2283886275 hasPrimaryLocation W22838862751 @default.
- W2283886275 hasRelatedWork W1587385873 @default.
- W2283886275 hasRelatedWork W1933089843 @default.
- W2283886275 hasRelatedWork W1971630775 @default.
- W2283886275 hasRelatedWork W1979971201 @default.
- W2283886275 hasRelatedWork W2101801483 @default.
- W2283886275 hasRelatedWork W2110777087 @default.
- W2283886275 hasRelatedWork W2113598105 @default.
- W2283886275 hasRelatedWork W2113972065 @default.
- W2283886275 hasRelatedWork W2119194168 @default.
- W2283886275 hasRelatedWork W2133351557 @default.
- W2283886275 hasRelatedWork W2136015288 @default.
- W2283886275 hasRelatedWork W2137108108 @default.
- W2283886275 hasRelatedWork W2157406118 @default.
- W2283886275 hasRelatedWork W2171279237 @default.
- W2283886275 hasRelatedWork W2946466256 @default.
- W2283886275 hasRelatedWork W2970671901 @default.
- W2283886275 hasRelatedWork W3021672187 @default.
- W2283886275 hasRelatedWork W3098821697 @default.
- W2283886275 hasRelatedWork W2265314167 @default.
- W2283886275 hasRelatedWork W240357277 @default.
- W2283886275 isParatext "false" @default.
- W2283886275 isRetracted "false" @default.
- W2283886275 magId "2283886275" @default.
- W2283886275 workType "article" @default.