Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000837802> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2000837802 endingPage "160" @default.
- W2000837802 startingPage "160" @default.
- W2000837802 abstract "AbstractThis paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic. Concretely, α-generalized semantic resolution for lattice-valued propositional logic (Ln× L2)P(X) is equivalently transformed into that for lattice-valued propositional logic LnP(X)(i ∊ {1,2…,n}). A similar conclusion is obtained between the α-generalized semantic resolution for linguistic truth-valued lattice-valued propositional logic LV(n×2)P(X) and that for lattice-valued propositional logic LV(n)P(X)(i ∊ {1,2,…,n}). Secondly, the generalized semantic resolution for lattice-valued propositional logic LnP(X) based on a chain-type truth-valued field is investigated and its soundness and weak completeness are given. The Presented work provides some foundations for resolution-based automated reasoning in linguistic truth-valued lattice-valued logic based on lattice implication algebra." @default.
- W2000837802 created "2016-06-24" @default.
- W2000837802 creator A5074540892 @default.
- W2000837802 creator A5084238918 @default.
- W2000837802 creator A5090989509 @default.
- W2000837802 date "2014-01-01" @default.
- W2000837802 modified "2023-10-12" @default.
- W2000837802 title "α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X)" @default.
- W2000837802 cites W1981472242 @default.
- W2000837802 cites W2017111168 @default.
- W2000837802 cites W2020794409 @default.
- W2000837802 cites W2049403762 @default.
- W2000837802 cites W2072203301 @default.
- W2000837802 cites W2076410236 @default.
- W2000837802 cites W2088016347 @default.
- W2000837802 cites W2100738443 @default.
- W2000837802 cites W2156666265 @default.
- W2000837802 cites W2165094119 @default.
- W2000837802 cites W2498912203 @default.
- W2000837802 cites W2911964946 @default.
- W2000837802 cites W4245152641 @default.
- W2000837802 cites W4250965767 @default.
- W2000837802 doi "https://doi.org/10.1080/18756891.2013.857895" @default.
- W2000837802 hasPublicationYear "2014" @default.
- W2000837802 type Work @default.
- W2000837802 sameAs 2000837802 @default.
- W2000837802 citedByCount "1" @default.
- W2000837802 countsByYear W20008378022020 @default.
- W2000837802 crossrefType "journal-article" @default.
- W2000837802 hasAuthorship W2000837802A5074540892 @default.
- W2000837802 hasAuthorship W2000837802A5084238918 @default.
- W2000837802 hasAuthorship W2000837802A5090989509 @default.
- W2000837802 hasBestOaLocation W20008378021 @default.
- W2000837802 hasConcept C102993220 @default.
- W2000837802 hasConcept C110039528 @default.
- W2000837802 hasConcept C138268822 @default.
- W2000837802 hasConcept C138885662 @default.
- W2000837802 hasConcept C14523651 @default.
- W2000837802 hasConcept C154945302 @default.
- W2000837802 hasConcept C191222856 @default.
- W2000837802 hasConcept C199343813 @default.
- W2000837802 hasConcept C203659156 @default.
- W2000837802 hasConcept C204321447 @default.
- W2000837802 hasConcept C2777686260 @default.
- W2000837802 hasConcept C33203268 @default.
- W2000837802 hasConcept C33923547 @default.
- W2000837802 hasConcept C37754750 @default.
- W2000837802 hasConcept C3845977 @default.
- W2000837802 hasConcept C41008148 @default.
- W2000837802 hasConcept C41895202 @default.
- W2000837802 hasConcept C46274116 @default.
- W2000837802 hasConcept C69562738 @default.
- W2000837802 hasConcept C71924100 @default.
- W2000837802 hasConcept C74640108 @default.
- W2000837802 hasConceptScore W2000837802C102993220 @default.
- W2000837802 hasConceptScore W2000837802C110039528 @default.
- W2000837802 hasConceptScore W2000837802C138268822 @default.
- W2000837802 hasConceptScore W2000837802C138885662 @default.
- W2000837802 hasConceptScore W2000837802C14523651 @default.
- W2000837802 hasConceptScore W2000837802C154945302 @default.
- W2000837802 hasConceptScore W2000837802C191222856 @default.
- W2000837802 hasConceptScore W2000837802C199343813 @default.
- W2000837802 hasConceptScore W2000837802C203659156 @default.
- W2000837802 hasConceptScore W2000837802C204321447 @default.
- W2000837802 hasConceptScore W2000837802C2777686260 @default.
- W2000837802 hasConceptScore W2000837802C33203268 @default.
- W2000837802 hasConceptScore W2000837802C33923547 @default.
- W2000837802 hasConceptScore W2000837802C37754750 @default.
- W2000837802 hasConceptScore W2000837802C3845977 @default.
- W2000837802 hasConceptScore W2000837802C41008148 @default.
- W2000837802 hasConceptScore W2000837802C41895202 @default.
- W2000837802 hasConceptScore W2000837802C46274116 @default.
- W2000837802 hasConceptScore W2000837802C69562738 @default.
- W2000837802 hasConceptScore W2000837802C71924100 @default.
- W2000837802 hasConceptScore W2000837802C74640108 @default.
- W2000837802 hasIssue "1" @default.
- W2000837802 hasLocation W20008378021 @default.
- W2000837802 hasOpenAccess W2000837802 @default.
- W2000837802 hasPrimaryLocation W20008378021 @default.
- W2000837802 hasRelatedWork W1986625420 @default.
- W2000837802 hasRelatedWork W2000837802 @default.
- W2000837802 hasRelatedWork W2045432969 @default.
- W2000837802 hasRelatedWork W2158975365 @default.
- W2000837802 hasRelatedWork W2356894535 @default.
- W2000837802 hasRelatedWork W2366007963 @default.
- W2000837802 hasRelatedWork W2383907964 @default.
- W2000837802 hasRelatedWork W2495379242 @default.
- W2000837802 hasRelatedWork W2783132375 @default.
- W2000837802 hasRelatedWork W4280624848 @default.
- W2000837802 hasVolume "7" @default.
- W2000837802 isParatext "false" @default.
- W2000837802 isRetracted "false" @default.
- W2000837802 magId "2000837802" @default.
- W2000837802 workType "article" @default.