Matches in SemOpenAlex for { <https://semopenalex.org/work/W2541992871> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2541992871 abstract "This paper proved that when we have a binary operation rightarrow and a nullary operations rarr on a non-empty set L, if these operations satisfy the four axioms of lattice implication algebra, then (L, rarr, 0) will be a lattice implication algebra. So, when we define lattice implication algebra, we needn't start on a complemented lattice with universal bounds, but we can begin with an algebra of type (2,0)." @default.
- W2541992871 created "2016-11-04" @default.
- W2541992871 creator A5043375205 @default.
- W2541992871 creator A5082663133 @default.
- W2541992871 date "2008-11-01" @default.
- W2541992871 modified "2023-09-26" @default.
- W2541992871 title "The Equivalent Definitions of Lattice Implication Algebra" @default.
- W2541992871 cites W1642381004 @default.
- W2541992871 cites W2223298233 @default.
- W2541992871 cites W2377026314 @default.
- W2541992871 doi "https://doi.org/10.1109/fitme.2008.90" @default.
- W2541992871 hasPublicationYear "2008" @default.
- W2541992871 type Work @default.
- W2541992871 sameAs 2541992871 @default.
- W2541992871 citedByCount "0" @default.
- W2541992871 crossrefType "proceedings-article" @default.
- W2541992871 hasAuthorship W2541992871A5043375205 @default.
- W2541992871 hasAuthorship W2541992871A5082663133 @default.
- W2541992871 hasConcept C118615104 @default.
- W2541992871 hasConcept C121332964 @default.
- W2541992871 hasConcept C136119220 @default.
- W2541992871 hasConcept C158693339 @default.
- W2541992871 hasConcept C167729594 @default.
- W2541992871 hasConcept C183992945 @default.
- W2541992871 hasConcept C188971069 @default.
- W2541992871 hasConcept C201640847 @default.
- W2541992871 hasConcept C202444582 @default.
- W2541992871 hasConcept C24890656 @default.
- W2541992871 hasConcept C2524010 @default.
- W2541992871 hasConcept C2781204021 @default.
- W2541992871 hasConcept C2988995629 @default.
- W2541992871 hasConcept C33923547 @default.
- W2541992871 hasConcept C41008148 @default.
- W2541992871 hasConcept C48372109 @default.
- W2541992871 hasConcept C62520636 @default.
- W2541992871 hasConcept C94375191 @default.
- W2541992871 hasConceptScore W2541992871C118615104 @default.
- W2541992871 hasConceptScore W2541992871C121332964 @default.
- W2541992871 hasConceptScore W2541992871C136119220 @default.
- W2541992871 hasConceptScore W2541992871C158693339 @default.
- W2541992871 hasConceptScore W2541992871C167729594 @default.
- W2541992871 hasConceptScore W2541992871C183992945 @default.
- W2541992871 hasConceptScore W2541992871C188971069 @default.
- W2541992871 hasConceptScore W2541992871C201640847 @default.
- W2541992871 hasConceptScore W2541992871C202444582 @default.
- W2541992871 hasConceptScore W2541992871C24890656 @default.
- W2541992871 hasConceptScore W2541992871C2524010 @default.
- W2541992871 hasConceptScore W2541992871C2781204021 @default.
- W2541992871 hasConceptScore W2541992871C2988995629 @default.
- W2541992871 hasConceptScore W2541992871C33923547 @default.
- W2541992871 hasConceptScore W2541992871C41008148 @default.
- W2541992871 hasConceptScore W2541992871C48372109 @default.
- W2541992871 hasConceptScore W2541992871C62520636 @default.
- W2541992871 hasConceptScore W2541992871C94375191 @default.
- W2541992871 hasLocation W25419928711 @default.
- W2541992871 hasOpenAccess W2541992871 @default.
- W2541992871 hasPrimaryLocation W25419928711 @default.
- W2541992871 hasRelatedWork W1761566145 @default.
- W2541992871 hasRelatedWork W2072957414 @default.
- W2541992871 hasRelatedWork W2096553172 @default.
- W2541992871 hasRelatedWork W2154302624 @default.
- W2541992871 hasRelatedWork W2377026314 @default.
- W2541992871 hasRelatedWork W2387496911 @default.
- W2541992871 hasRelatedWork W2482805148 @default.
- W2541992871 hasRelatedWork W2541992871 @default.
- W2541992871 hasRelatedWork W4237262556 @default.
- W2541992871 hasRelatedWork W4311668 @default.
- W2541992871 isParatext "false" @default.
- W2541992871 isRetracted "false" @default.
- W2541992871 magId "2541992871" @default.
- W2541992871 workType "article" @default.