Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808113673> ?p ?o ?g. }
- W2808113673 endingPage "3944" @default.
- W2808113673 startingPage "3935" @default.
- W2808113673 abstract "The so-called non-associative MV-algebras were introduced recently by the first author and J. Kühr in order to have an appropriate tool for certain logics used in expert systems where associativity of the binary operation is excluded, see, e.g., Botur and Halaš (Arch Math Log 48:243-255, 2009). Since implication is an important logical connective in practically every propositional logic, in the present paper we investigate the implication reducts of non-associative MV-algebras. We also determine their structures based on the underlying posets. The natural question when a poset with the greatest element equipped with sectional switching involutions can be organized into an implication NMV-algebra is solved. Moreover, congruence properties of the variety of implication NMV-algebras with, respectively, without zero are investigated. Analogously to classical propositional logic, we introduce a certain kind of Sheffer operation and we obtain a one-to-one correspondence between NMV-algebras and certain algebras built up by a Sheffer-like operation together with a unary operation." @default.
- W2808113673 created "2018-06-21" @default.
- W2808113673 creator A5005373819 @default.
- W2808113673 creator A5062861815 @default.
- W2808113673 creator A5063985495 @default.
- W2808113673 date "2018-06-15" @default.
- W2808113673 modified "2023-10-17" @default.
- W2808113673 title "Operations and structures derived from non-associative MV-algebras" @default.
- W2808113673 cites W1566552629 @default.
- W2808113673 cites W170657001 @default.
- W2808113673 cites W1978889788 @default.
- W2808113673 cites W1988000631 @default.
- W2808113673 cites W1996257298 @default.
- W2808113673 cites W2004451289 @default.
- W2808113673 cites W2012072427 @default.
- W2808113673 cites W2016744880 @default.
- W2808113673 cites W2031707157 @default.
- W2808113673 cites W2050048484 @default.
- W2808113673 cites W2070595403 @default.
- W2808113673 cites W2734413985 @default.
- W2808113673 cites W2758696856 @default.
- W2808113673 cites W4212996956 @default.
- W2808113673 doi "https://doi.org/10.1007/s00500-018-3309-4" @default.
- W2808113673 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/6500511" @default.
- W2808113673 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/31123427" @default.
- W2808113673 hasPublicationYear "2018" @default.
- W2808113673 type Work @default.
- W2808113673 sameAs 2808113673 @default.
- W2808113673 citedByCount "11" @default.
- W2808113673 countsByYear W28081136732019 @default.
- W2808113673 countsByYear W28081136732020 @default.
- W2808113673 countsByYear W28081136732021 @default.
- W2808113673 countsByYear W28081136732022 @default.
- W2808113673 crossrefType "journal-article" @default.
- W2808113673 hasAuthorship W2808113673A5005373819 @default.
- W2808113673 hasAuthorship W2808113673A5062861815 @default.
- W2808113673 hasAuthorship W2808113673A5063985495 @default.
- W2808113673 hasBestOaLocation W28081136731 @default.
- W2808113673 hasConcept C118615104 @default.
- W2808113673 hasConcept C132074034 @default.
- W2808113673 hasConcept C136119220 @default.
- W2808113673 hasConcept C136197465 @default.
- W2808113673 hasConcept C14394260 @default.
- W2808113673 hasConcept C154945302 @default.
- W2808113673 hasConcept C159423971 @default.
- W2808113673 hasConcept C17744445 @default.
- W2808113673 hasConcept C185529760 @default.
- W2808113673 hasConcept C199539241 @default.
- W2808113673 hasConcept C200288055 @default.
- W2808113673 hasConcept C202444582 @default.
- W2808113673 hasConcept C203254541 @default.
- W2808113673 hasConcept C2524010 @default.
- W2808113673 hasConcept C33923547 @default.
- W2808113673 hasConcept C39685927 @default.
- W2808113673 hasConcept C41008148 @default.
- W2808113673 hasConcept C518143113 @default.
- W2808113673 hasConcept C69562738 @default.
- W2808113673 hasConcept C78023250 @default.
- W2808113673 hasConceptScore W2808113673C118615104 @default.
- W2808113673 hasConceptScore W2808113673C132074034 @default.
- W2808113673 hasConceptScore W2808113673C136119220 @default.
- W2808113673 hasConceptScore W2808113673C136197465 @default.
- W2808113673 hasConceptScore W2808113673C14394260 @default.
- W2808113673 hasConceptScore W2808113673C154945302 @default.
- W2808113673 hasConceptScore W2808113673C159423971 @default.
- W2808113673 hasConceptScore W2808113673C17744445 @default.
- W2808113673 hasConceptScore W2808113673C185529760 @default.
- W2808113673 hasConceptScore W2808113673C199539241 @default.
- W2808113673 hasConceptScore W2808113673C200288055 @default.
- W2808113673 hasConceptScore W2808113673C202444582 @default.
- W2808113673 hasConceptScore W2808113673C203254541 @default.
- W2808113673 hasConceptScore W2808113673C2524010 @default.
- W2808113673 hasConceptScore W2808113673C33923547 @default.
- W2808113673 hasConceptScore W2808113673C39685927 @default.
- W2808113673 hasConceptScore W2808113673C41008148 @default.
- W2808113673 hasConceptScore W2808113673C518143113 @default.
- W2808113673 hasConceptScore W2808113673C69562738 @default.
- W2808113673 hasConceptScore W2808113673C78023250 @default.
- W2808113673 hasFunder F4320321181 @default.
- W2808113673 hasFunder F4320323163 @default.
- W2808113673 hasIssue "12" @default.
- W2808113673 hasLocation W28081136731 @default.
- W2808113673 hasLocation W28081136732 @default.
- W2808113673 hasLocation W28081136733 @default.
- W2808113673 hasLocation W28081136734 @default.
- W2808113673 hasOpenAccess W2808113673 @default.
- W2808113673 hasPrimaryLocation W28081136731 @default.
- W2808113673 hasRelatedWork W1526648188 @default.
- W2808113673 hasRelatedWork W1551881744 @default.
- W2808113673 hasRelatedWork W1981513335 @default.
- W2808113673 hasRelatedWork W1994921377 @default.
- W2808113673 hasRelatedWork W2074725228 @default.
- W2808113673 hasRelatedWork W2461620373 @default.
- W2808113673 hasRelatedWork W2808113673 @default.
- W2808113673 hasRelatedWork W3164209320 @default.
- W2808113673 hasRelatedWork W4287167439 @default.
- W2808113673 hasRelatedWork W1585759187 @default.
- W2808113673 hasVolume "23" @default.