Matches in SemOpenAlex for { <https://semopenalex.org/work/W2910433183> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2910433183 endingPage "128" @default.
- W2910433183 startingPage "125" @default.
- W2910433183 abstract "In 2007, Maddux observed (see [7]) that relevant logics have a natural interpretation in the language of relation algebras, with respect to which certain standard relevant logics are sound. He asked whether this interpretation was complete as well. In 2008, Mikulas proved in [10] that the relevant logic R was not complete with respect to square-increasing, commutative, representable relation algebras, answering thereby the original Maddux’ question in the negative. Rather surprisingly, Maddux was able to show in [8] that another well-known relevant logic, namely RM, is complete with respect to idempotent, commutative, representable relation algebras. For several other results in similar vein, the reader is referred to Bimbo et al. [5] and Hirsch and Mikulas [4]. The results are mostly negative, and they all focus on representable relation algebras. In this note, I broaden the perspective a little and show that the answer to Maddux’ question is in the positive, if one does not require representability. I was encouraged to do so by a surprisingly wide attention one little result of mine has received. This result (see [6]), motivated by Meyer’s study [9] of the logic B, deals with weakly-associative relation algebras. Since these are obviously non-representable, relinquishing representability seemed natural." @default.
- W2910433183 created "2019-01-25" @default.
- W2910433183 creator A5053842643 @default.
- W2910433183 date "2013-01-01" @default.
- W2910433183 modified "2023-09-26" @default.
- W2910433183 title "Relevant logic and relation algebras." @default.
- W2910433183 hasPublicationYear "2013" @default.
- W2910433183 type Work @default.
- W2910433183 sameAs 2910433183 @default.
- W2910433183 citedByCount "1" @default.
- W2910433183 countsByYear W29104331832021 @default.
- W2910433183 crossrefType "journal-article" @default.
- W2910433183 hasAuthorship W2910433183A5053842643 @default.
- W2910433183 hasConcept C111472728 @default.
- W2910433183 hasConcept C120665830 @default.
- W2910433183 hasConcept C121332964 @default.
- W2910433183 hasConcept C12713177 @default.
- W2910433183 hasConcept C136119220 @default.
- W2910433183 hasConcept C138885662 @default.
- W2910433183 hasConcept C154945302 @default.
- W2910433183 hasConcept C159423971 @default.
- W2910433183 hasConcept C166957645 @default.
- W2910433183 hasConcept C172252984 @default.
- W2910433183 hasConcept C183778304 @default.
- W2910433183 hasConcept C192209626 @default.
- W2910433183 hasConcept C199360897 @default.
- W2910433183 hasConcept C202444582 @default.
- W2910433183 hasConcept C2185349 @default.
- W2910433183 hasConcept C25343380 @default.
- W2910433183 hasConcept C2776608160 @default.
- W2910433183 hasConcept C33923547 @default.
- W2910433183 hasConcept C41008148 @default.
- W2910433183 hasConcept C527412718 @default.
- W2910433183 hasConcept C77088390 @default.
- W2910433183 hasConcept C95457728 @default.
- W2910433183 hasConceptScore W2910433183C111472728 @default.
- W2910433183 hasConceptScore W2910433183C120665830 @default.
- W2910433183 hasConceptScore W2910433183C121332964 @default.
- W2910433183 hasConceptScore W2910433183C12713177 @default.
- W2910433183 hasConceptScore W2910433183C136119220 @default.
- W2910433183 hasConceptScore W2910433183C138885662 @default.
- W2910433183 hasConceptScore W2910433183C154945302 @default.
- W2910433183 hasConceptScore W2910433183C159423971 @default.
- W2910433183 hasConceptScore W2910433183C166957645 @default.
- W2910433183 hasConceptScore W2910433183C172252984 @default.
- W2910433183 hasConceptScore W2910433183C183778304 @default.
- W2910433183 hasConceptScore W2910433183C192209626 @default.
- W2910433183 hasConceptScore W2910433183C199360897 @default.
- W2910433183 hasConceptScore W2910433183C202444582 @default.
- W2910433183 hasConceptScore W2910433183C2185349 @default.
- W2910433183 hasConceptScore W2910433183C25343380 @default.
- W2910433183 hasConceptScore W2910433183C2776608160 @default.
- W2910433183 hasConceptScore W2910433183C33923547 @default.
- W2910433183 hasConceptScore W2910433183C41008148 @default.
- W2910433183 hasConceptScore W2910433183C527412718 @default.
- W2910433183 hasConceptScore W2910433183C77088390 @default.
- W2910433183 hasConceptScore W2910433183C95457728 @default.
- W2910433183 hasLocation W29104331831 @default.
- W2910433183 hasOpenAccess W2910433183 @default.
- W2910433183 hasPrimaryLocation W29104331831 @default.
- W2910433183 hasRelatedWork W1506408146 @default.
- W2910433183 hasRelatedWork W1980213341 @default.
- W2910433183 hasRelatedWork W2008718740 @default.
- W2910433183 hasRelatedWork W2015778085 @default.
- W2910433183 hasRelatedWork W2017141096 @default.
- W2910433183 hasRelatedWork W2034747415 @default.
- W2910433183 hasRelatedWork W2036285489 @default.
- W2910433183 hasRelatedWork W2048017413 @default.
- W2910433183 hasRelatedWork W2058220498 @default.
- W2910433183 hasRelatedWork W2100414237 @default.
- W2910433183 hasRelatedWork W2165407280 @default.
- W2910433183 hasRelatedWork W2169450060 @default.
- W2910433183 hasRelatedWork W2169733053 @default.
- W2910433183 hasRelatedWork W2214388093 @default.
- W2910433183 hasRelatedWork W2398031300 @default.
- W2910433183 hasRelatedWork W2478796168 @default.
- W2910433183 hasRelatedWork W2527160565 @default.
- W2910433183 hasRelatedWork W2889330039 @default.
- W2910433183 hasRelatedWork W3029193827 @default.
- W2910433183 hasRelatedWork W3119381631 @default.
- W2910433183 isParatext "false" @default.
- W2910433183 isRetracted "false" @default.
- W2910433183 magId "2910433183" @default.
- W2910433183 workType "article" @default.