Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981287029> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2981287029 abstract "When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective conjunction. We have already studied this problem for the logic of quantum mechanics which is based on an orthomodular poset or the logic of quantum effects based on a so-called effect algebra which is only partial and need not be lattice-ordered. For this, we introduced the so-called operator residuation where the values of implication and conjunction need not be elements of the underlying poset, but only certain subsets of it. However, this approach can be generalized for posets satisfying more general conditions. If these posets are even finite, we can focus on maximal or minimal elements of the corresponding subsets and the formulas for the mentioned operators can be essentially simplified. This is shown in the present paper where all theorems are explained by corresponding examples." @default.
- W2981287029 created "2019-10-25" @default.
- W2981287029 creator A5005373819 @default.
- W2981287029 creator A5063985495 @default.
- W2981287029 date "2019-10-20" @default.
- W2981287029 modified "2023-09-27" @default.
- W2981287029 title "Residuation in finite posets" @default.
- W2981287029 cites W2091219652 @default.
- W2981287029 cites W2154274300 @default.
- W2981287029 cites W2616207872 @default.
- W2981287029 cites W2619056695 @default.
- W2981287029 cites W2906301534 @default.
- W2981287029 cites W2963407668 @default.
- W2981287029 cites W2963764099 @default.
- W2981287029 hasPublicationYear "2019" @default.
- W2981287029 type Work @default.
- W2981287029 sameAs 2981287029 @default.
- W2981287029 citedByCount "0" @default.
- W2981287029 crossrefType "posted-content" @default.
- W2981287029 hasAuthorship W2981287029A5005373819 @default.
- W2981287029 hasAuthorship W2981287029A5063985495 @default.
- W2981287029 hasConcept C104317684 @default.
- W2981287029 hasConcept C114614502 @default.
- W2981287029 hasConcept C118615104 @default.
- W2981287029 hasConcept C121332964 @default.
- W2981287029 hasConcept C134306372 @default.
- W2981287029 hasConcept C136119220 @default.
- W2981287029 hasConcept C158448853 @default.
- W2981287029 hasConcept C169460222 @default.
- W2981287029 hasConcept C17020691 @default.
- W2981287029 hasConcept C180645754 @default.
- W2981287029 hasConcept C182419690 @default.
- W2981287029 hasConcept C185592680 @default.
- W2981287029 hasConcept C195800304 @default.
- W2981287029 hasConcept C202444582 @default.
- W2981287029 hasConcept C24890656 @default.
- W2981287029 hasConcept C2781204021 @default.
- W2981287029 hasConcept C33923547 @default.
- W2981287029 hasConcept C55493867 @default.
- W2981287029 hasConcept C58053490 @default.
- W2981287029 hasConcept C62520636 @default.
- W2981287029 hasConcept C84114770 @default.
- W2981287029 hasConcept C86339819 @default.
- W2981287029 hasConcept C9376300 @default.
- W2981287029 hasConceptScore W2981287029C104317684 @default.
- W2981287029 hasConceptScore W2981287029C114614502 @default.
- W2981287029 hasConceptScore W2981287029C118615104 @default.
- W2981287029 hasConceptScore W2981287029C121332964 @default.
- W2981287029 hasConceptScore W2981287029C134306372 @default.
- W2981287029 hasConceptScore W2981287029C136119220 @default.
- W2981287029 hasConceptScore W2981287029C158448853 @default.
- W2981287029 hasConceptScore W2981287029C169460222 @default.
- W2981287029 hasConceptScore W2981287029C17020691 @default.
- W2981287029 hasConceptScore W2981287029C180645754 @default.
- W2981287029 hasConceptScore W2981287029C182419690 @default.
- W2981287029 hasConceptScore W2981287029C185592680 @default.
- W2981287029 hasConceptScore W2981287029C195800304 @default.
- W2981287029 hasConceptScore W2981287029C202444582 @default.
- W2981287029 hasConceptScore W2981287029C24890656 @default.
- W2981287029 hasConceptScore W2981287029C2781204021 @default.
- W2981287029 hasConceptScore W2981287029C33923547 @default.
- W2981287029 hasConceptScore W2981287029C55493867 @default.
- W2981287029 hasConceptScore W2981287029C58053490 @default.
- W2981287029 hasConceptScore W2981287029C62520636 @default.
- W2981287029 hasConceptScore W2981287029C84114770 @default.
- W2981287029 hasConceptScore W2981287029C86339819 @default.
- W2981287029 hasConceptScore W2981287029C9376300 @default.
- W2981287029 hasLocation W29812870291 @default.
- W2981287029 hasOpenAccess W2981287029 @default.
- W2981287029 hasPrimaryLocation W29812870291 @default.
- W2981287029 hasRelatedWork W1597251926 @default.
- W2981287029 hasRelatedWork W1645769175 @default.
- W2981287029 hasRelatedWork W1653410487 @default.
- W2981287029 hasRelatedWork W1967047978 @default.
- W2981287029 hasRelatedWork W1983145367 @default.
- W2981287029 hasRelatedWork W2005652953 @default.
- W2981287029 hasRelatedWork W2031667755 @default.
- W2981287029 hasRelatedWork W2035867177 @default.
- W2981287029 hasRelatedWork W2044089506 @default.
- W2981287029 hasRelatedWork W2099406364 @default.
- W2981287029 hasRelatedWork W2130256938 @default.
- W2981287029 hasRelatedWork W2465875632 @default.
- W2981287029 hasRelatedWork W2801596393 @default.
- W2981287029 hasRelatedWork W2899402586 @default.
- W2981287029 hasRelatedWork W2921618954 @default.
- W2981287029 hasRelatedWork W2950608318 @default.
- W2981287029 hasRelatedWork W3140920220 @default.
- W2981287029 hasRelatedWork W3165299779 @default.
- W2981287029 hasRelatedWork W3173971361 @default.
- W2981287029 hasRelatedWork W3182988559 @default.
- W2981287029 isParatext "false" @default.
- W2981287029 isRetracted "false" @default.
- W2981287029 magId "2981287029" @default.
- W2981287029 workType "article" @default.