Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287809458> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4287809458 abstract "We prove that every not necessarily bounded poset P=(P,le,') with an antitone involution can be extended to a residuated poset E(P)=(E(P),le,odot,rightarrow,1) where x'=xrightarrow0 for all xin P. If P is a lattice with an antitone involution then E(P) is a lattice, too. We show that a poset can be extended to a residuated poset by means of a finite chain and that a Boolean algebra (B,vee,wedge,',p,q) can be extended to a residuated lattice (Q,vee,wedge,odot,rightarrow,1) by means of a finite chain in such a way that xodot y=xwedge y and xrightarrow y=x'vee y for all x,yin B." @default.
- W4287809458 created "2022-07-26" @default.
- W4287809458 creator A5005373819 @default.
- W4287809458 creator A5063985495 @default.
- W4287809458 creator A5080588785 @default.
- W4287809458 date "2020-04-29" @default.
- W4287809458 modified "2023-10-02" @default.
- W4287809458 title "Extensions of posets with an antitone involution to residuated structures" @default.
- W4287809458 doi "https://doi.org/10.48550/arxiv.2004.14127" @default.
- W4287809458 hasPublicationYear "2020" @default.
- W4287809458 type Work @default.
- W4287809458 citedByCount "0" @default.
- W4287809458 crossrefType "posted-content" @default.
- W4287809458 hasAuthorship W4287809458A5005373819 @default.
- W4287809458 hasAuthorship W4287809458A5063985495 @default.
- W4287809458 hasAuthorship W4287809458A5080588785 @default.
- W4287809458 hasBestOaLocation W42878094581 @default.
- W4287809458 hasConcept C114614502 @default.
- W4287809458 hasConcept C118615104 @default.
- W4287809458 hasConcept C121332964 @default.
- W4287809458 hasConcept C134306372 @default.
- W4287809458 hasConcept C154945302 @default.
- W4287809458 hasConcept C169760540 @default.
- W4287809458 hasConcept C180645754 @default.
- W4287809458 hasConcept C186720457 @default.
- W4287809458 hasConcept C24890656 @default.
- W4287809458 hasConcept C2524010 @default.
- W4287809458 hasConcept C2781204021 @default.
- W4287809458 hasConcept C2781278839 @default.
- W4287809458 hasConcept C2781409172 @default.
- W4287809458 hasConcept C33923547 @default.
- W4287809458 hasConcept C34388435 @default.
- W4287809458 hasConcept C41008148 @default.
- W4287809458 hasConcept C47422493 @default.
- W4287809458 hasConcept C58166 @default.
- W4287809458 hasConcept C86803240 @default.
- W4287809458 hasConceptScore W4287809458C114614502 @default.
- W4287809458 hasConceptScore W4287809458C118615104 @default.
- W4287809458 hasConceptScore W4287809458C121332964 @default.
- W4287809458 hasConceptScore W4287809458C134306372 @default.
- W4287809458 hasConceptScore W4287809458C154945302 @default.
- W4287809458 hasConceptScore W4287809458C169760540 @default.
- W4287809458 hasConceptScore W4287809458C180645754 @default.
- W4287809458 hasConceptScore W4287809458C186720457 @default.
- W4287809458 hasConceptScore W4287809458C24890656 @default.
- W4287809458 hasConceptScore W4287809458C2524010 @default.
- W4287809458 hasConceptScore W4287809458C2781204021 @default.
- W4287809458 hasConceptScore W4287809458C2781278839 @default.
- W4287809458 hasConceptScore W4287809458C2781409172 @default.
- W4287809458 hasConceptScore W4287809458C33923547 @default.
- W4287809458 hasConceptScore W4287809458C34388435 @default.
- W4287809458 hasConceptScore W4287809458C41008148 @default.
- W4287809458 hasConceptScore W4287809458C47422493 @default.
- W4287809458 hasConceptScore W4287809458C58166 @default.
- W4287809458 hasConceptScore W4287809458C86803240 @default.
- W4287809458 hasLocation W42878094581 @default.
- W4287809458 hasOpenAccess W4287809458 @default.
- W4287809458 hasPrimaryLocation W42878094581 @default.
- W4287809458 hasRelatedWork W14967044 @default.
- W4287809458 hasRelatedWork W17345652 @default.
- W4287809458 hasRelatedWork W18780241 @default.
- W4287809458 hasRelatedWork W18933162 @default.
- W4287809458 hasRelatedWork W3230280 @default.
- W4287809458 hasRelatedWork W32395600 @default.
- W4287809458 hasRelatedWork W38290255 @default.
- W4287809458 hasRelatedWork W38852588 @default.
- W4287809458 hasRelatedWork W52561540 @default.
- W4287809458 hasRelatedWork W5848845 @default.
- W4287809458 isParatext "false" @default.
- W4287809458 isRetracted "false" @default.
- W4287809458 workType "article" @default.