Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951459711> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2951459711 abstract "The symmetric maximum, denoted by v, is an extension of the usual max operation so that 0 is the neutral element, and -x is the symmetric (or inverse) of x, i.e., x v(-x)=0. However, such an extension does not preserve the associativity of max. This fact asks for systematic ways of parenthesing (or bracketing) terms of a sequence (with more than two arguments) when using such an extended maximum. We refer to such systematic (predefined) ways of parenthesing as computation rules. As it turns out there are infinitely many computation rules each of which corresponding to a systematic way of bracketing arguments of sequences. Essentially, computation rules reduce to deleting terms of sequences based on the condition x v(-x)=0. This observation gives raise to a quasi-order on the set of such computation rules: say that rule 1 is below rule 2 if for all sequences of numbers, rule 1 deletes more terms in the sequence than rule 2. In this paper we present a study of this quasi-ordering of computation rules. In particular, we show that the induced poset of all equivalence classes of computation rules is uncountably infinite, has infinitely many maximal elements, has infinitely many atoms, and it embeds the powerset of natural numbers ordered by inclusion." @default.
- W2951459711 created "2019-06-27" @default.
- W2951459711 creator A5034398981 @default.
- W2951459711 creator A5066732273 @default.
- W2951459711 date "2011-05-20" @default.
- W2951459711 modified "2023-09-27" @default.
- W2951459711 title "On the poset of computation rules for nonassociative calculus" @default.
- W2951459711 cites W1874567253 @default.
- W2951459711 cites W2003153132 @default.
- W2951459711 cites W2093397547 @default.
- W2951459711 cites W578709777 @default.
- W2951459711 hasPublicationYear "2011" @default.
- W2951459711 type Work @default.
- W2951459711 sameAs 2951459711 @default.
- W2951459711 citedByCount "0" @default.
- W2951459711 crossrefType "posted-content" @default.
- W2951459711 hasAuthorship W2951459711A5034398981 @default.
- W2951459711 hasAuthorship W2951459711A5066732273 @default.
- W2951459711 hasConcept C10138342 @default.
- W2951459711 hasConcept C102944935 @default.
- W2951459711 hasConcept C111472728 @default.
- W2951459711 hasConcept C11413529 @default.
- W2951459711 hasConcept C114614502 @default.
- W2951459711 hasConcept C118615104 @default.
- W2951459711 hasConcept C138885662 @default.
- W2951459711 hasConcept C159423971 @default.
- W2951459711 hasConcept C162324750 @default.
- W2951459711 hasConcept C180645754 @default.
- W2951459711 hasConcept C182306322 @default.
- W2951459711 hasConcept C199360897 @default.
- W2951459711 hasConcept C202444582 @default.
- W2951459711 hasConcept C207467116 @default.
- W2951459711 hasConcept C2524010 @default.
- W2951459711 hasConcept C2778029271 @default.
- W2951459711 hasConcept C2778112365 @default.
- W2951459711 hasConcept C2780069185 @default.
- W2951459711 hasConcept C33923547 @default.
- W2951459711 hasConcept C3746660 @default.
- W2951459711 hasConcept C41008148 @default.
- W2951459711 hasConcept C45374587 @default.
- W2951459711 hasConcept C54355233 @default.
- W2951459711 hasConcept C86803240 @default.
- W2951459711 hasConceptScore W2951459711C10138342 @default.
- W2951459711 hasConceptScore W2951459711C102944935 @default.
- W2951459711 hasConceptScore W2951459711C111472728 @default.
- W2951459711 hasConceptScore W2951459711C11413529 @default.
- W2951459711 hasConceptScore W2951459711C114614502 @default.
- W2951459711 hasConceptScore W2951459711C118615104 @default.
- W2951459711 hasConceptScore W2951459711C138885662 @default.
- W2951459711 hasConceptScore W2951459711C159423971 @default.
- W2951459711 hasConceptScore W2951459711C162324750 @default.
- W2951459711 hasConceptScore W2951459711C180645754 @default.
- W2951459711 hasConceptScore W2951459711C182306322 @default.
- W2951459711 hasConceptScore W2951459711C199360897 @default.
- W2951459711 hasConceptScore W2951459711C202444582 @default.
- W2951459711 hasConceptScore W2951459711C207467116 @default.
- W2951459711 hasConceptScore W2951459711C2524010 @default.
- W2951459711 hasConceptScore W2951459711C2778029271 @default.
- W2951459711 hasConceptScore W2951459711C2778112365 @default.
- W2951459711 hasConceptScore W2951459711C2780069185 @default.
- W2951459711 hasConceptScore W2951459711C33923547 @default.
- W2951459711 hasConceptScore W2951459711C3746660 @default.
- W2951459711 hasConceptScore W2951459711C41008148 @default.
- W2951459711 hasConceptScore W2951459711C45374587 @default.
- W2951459711 hasConceptScore W2951459711C54355233 @default.
- W2951459711 hasConceptScore W2951459711C86803240 @default.
- W2951459711 hasLocation W29514597111 @default.
- W2951459711 hasOpenAccess W2951459711 @default.
- W2951459711 hasPrimaryLocation W29514597111 @default.
- W2951459711 hasRelatedWork W1598816868 @default.
- W2951459711 hasRelatedWork W2002729262 @default.
- W2951459711 hasRelatedWork W2030445287 @default.
- W2951459711 hasRelatedWork W2043732992 @default.
- W2951459711 hasRelatedWork W2075204971 @default.
- W2951459711 hasRelatedWork W2081017048 @default.
- W2951459711 hasRelatedWork W2093677637 @default.
- W2951459711 hasRelatedWork W2097212968 @default.
- W2951459711 hasRelatedWork W2152663086 @default.
- W2951459711 hasRelatedWork W2159020094 @default.
- W2951459711 hasRelatedWork W2215681400 @default.
- W2951459711 hasRelatedWork W2531234554 @default.
- W2951459711 hasRelatedWork W2962706254 @default.
- W2951459711 hasRelatedWork W2963192233 @default.
- W2951459711 hasRelatedWork W2963487015 @default.
- W2951459711 hasRelatedWork W2980901358 @default.
- W2951459711 hasRelatedWork W3014334551 @default.
- W2951459711 hasRelatedWork W3102609340 @default.
- W2951459711 hasRelatedWork W3122721158 @default.
- W2951459711 hasRelatedWork W778828832 @default.
- W2951459711 isParatext "false" @default.
- W2951459711 isRetracted "false" @default.
- W2951459711 magId "2951459711" @default.
- W2951459711 workType "article" @default.