Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049403762> ?p ?o ?g. }
- W2049403762 endingPage "223" @default.
- W2049403762 startingPage "195" @default.
- W2049403762 abstract "In the present paper, resolution-based automated reasoning theory in an L-type fuzzy logic is focused. Concretely, the α-resolution principle, which is based on lattice-valued propositional logic LP(X) with truth-value in a logical algebra – lattice implication algebra, is investigated. Finally, an α-resolution principle that can be used to judge if a lattice-valued logical formula in LP(X) is always false at a truth-valued level α (i.e., α-false), is established, and the theorems of both soundness and completeness of this α-resolution principle are also proved. This will become the theoretical foundation for automated reasoning based on lattice-valued logical LP(X)." @default.
- W2049403762 created "2016-06-24" @default.
- W2049403762 creator A5027835055 @default.
- W2049403762 creator A5062440004 @default.
- W2049403762 creator A5072347317 @default.
- W2049403762 creator A5090989509 @default.
- W2049403762 date "2000-12-01" @default.
- W2049403762 modified "2023-09-23" @default.
- W2049403762 title "α-Resolution principle based on lattice-valued propositional logic LP(X)" @default.
- W2049403762 cites W1502400124 @default.
- W2049403762 cites W1511033667 @default.
- W2049403762 cites W1532763240 @default.
- W2049403762 cites W1577536563 @default.
- W2049403762 cites W1592991472 @default.
- W2049403762 cites W1598668400 @default.
- W2049403762 cites W1766174263 @default.
- W2049403762 cites W1975112358 @default.
- W2049403762 cites W1980008162 @default.
- W2049403762 cites W1980589711 @default.
- W2049403762 cites W2000398632 @default.
- W2049403762 cites W2006522764 @default.
- W2049403762 cites W2017111168 @default.
- W2049403762 cites W2020597584 @default.
- W2049403762 cites W2053547980 @default.
- W2049403762 cites W2067148012 @default.
- W2049403762 cites W2072203301 @default.
- W2049403762 cites W207334364 @default.
- W2049403762 cites W2075090033 @default.
- W2049403762 cites W2088350978 @default.
- W2049403762 cites W2088799860 @default.
- W2049403762 cites W2092180595 @default.
- W2049403762 cites W2100738443 @default.
- W2049403762 cites W2126826317 @default.
- W2049403762 cites W2134212423 @default.
- W2049403762 cites W2141313404 @default.
- W2049403762 cites W2176180880 @default.
- W2049403762 cites W2312744322 @default.
- W2049403762 cites W2488749545 @default.
- W2049403762 cites W3163827298 @default.
- W2049403762 cites W4211007335 @default.
- W2049403762 cites W4245429581 @default.
- W2049403762 cites W85066358 @default.
- W2049403762 doi "https://doi.org/10.1016/s0020-0255(00)00069-4" @default.
- W2049403762 hasPublicationYear "2000" @default.
- W2049403762 type Work @default.
- W2049403762 sameAs 2049403762 @default.
- W2049403762 citedByCount "82" @default.
- W2049403762 countsByYear W20494037622012 @default.
- W2049403762 countsByYear W20494037622013 @default.
- W2049403762 countsByYear W20494037622014 @default.
- W2049403762 countsByYear W20494037622015 @default.
- W2049403762 countsByYear W20494037622017 @default.
- W2049403762 countsByYear W20494037622018 @default.
- W2049403762 countsByYear W20494037622020 @default.
- W2049403762 countsByYear W20494037622022 @default.
- W2049403762 crossrefType "journal-article" @default.
- W2049403762 hasAuthorship W2049403762A5027835055 @default.
- W2049403762 hasAuthorship W2049403762A5062440004 @default.
- W2049403762 hasAuthorship W2049403762A5072347317 @default.
- W2049403762 hasAuthorship W2049403762A5090989509 @default.
- W2049403762 hasConcept C102993220 @default.
- W2049403762 hasConcept C110039528 @default.
- W2049403762 hasConcept C118615104 @default.
- W2049403762 hasConcept C121332964 @default.
- W2049403762 hasConcept C134306372 @default.
- W2049403762 hasConcept C136119220 @default.
- W2049403762 hasConcept C138268822 @default.
- W2049403762 hasConcept C154945302 @default.
- W2049403762 hasConcept C17231256 @default.
- W2049403762 hasConcept C178421362 @default.
- W2049403762 hasConcept C1883856 @default.
- W2049403762 hasConcept C194989596 @default.
- W2049403762 hasConcept C199343813 @default.
- W2049403762 hasConcept C199360897 @default.
- W2049403762 hasConcept C200116569 @default.
- W2049403762 hasConcept C202444582 @default.
- W2049403762 hasConcept C203659156 @default.
- W2049403762 hasConcept C24890656 @default.
- W2049403762 hasConcept C2777686260 @default.
- W2049403762 hasConcept C2781204021 @default.
- W2049403762 hasConcept C33203268 @default.
- W2049403762 hasConcept C33923547 @default.
- W2049403762 hasConcept C39920170 @default.
- W2049403762 hasConcept C41008148 @default.
- W2049403762 hasConcept C42011625 @default.
- W2049403762 hasConcept C46274116 @default.
- W2049403762 hasConcept C58166 @default.
- W2049403762 hasConcept C69562738 @default.
- W2049403762 hasConcept C71924100 @default.
- W2049403762 hasConcept C98224912 @default.
- W2049403762 hasConceptScore W2049403762C102993220 @default.
- W2049403762 hasConceptScore W2049403762C110039528 @default.
- W2049403762 hasConceptScore W2049403762C118615104 @default.
- W2049403762 hasConceptScore W2049403762C121332964 @default.
- W2049403762 hasConceptScore W2049403762C134306372 @default.
- W2049403762 hasConceptScore W2049403762C136119220 @default.
- W2049403762 hasConceptScore W2049403762C138268822 @default.
- W2049403762 hasConceptScore W2049403762C154945302 @default.