Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000351746> ?p ?o ?g. }
- W2000351746 endingPage "478" @default.
- W2000351746 startingPage "453" @default.
- W2000351746 abstract "We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics." @default.
- W2000351746 created "2016-06-24" @default.
- W2000351746 creator A5012636172 @default.
- W2000351746 date "2014-10-01" @default.
- W2000351746 modified "2023-09-27" @default.
- W2000351746 title "Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics" @default.
- W2000351746 cites W1481365453 @default.
- W2000351746 cites W1585815400 @default.
- W2000351746 cites W1964870329 @default.
- W2000351746 cites W2024618947 @default.
- W2000351746 cites W2059559554 @default.
- W2000351746 cites W2060490115 @default.
- W2000351746 cites W2072564442 @default.
- W2000351746 cites W2133856184 @default.
- W2000351746 cites W2394512717 @default.
- W2000351746 cites W27649045 @default.
- W2000351746 cites W3128976560 @default.
- W2000351746 cites W4242125186 @default.
- W2000351746 cites W2048423570 @default.
- W2000351746 doi "https://doi.org/10.1007/s11225-014-9574-z" @default.
- W2000351746 hasPublicationYear "2014" @default.
- W2000351746 type Work @default.
- W2000351746 sameAs 2000351746 @default.
- W2000351746 citedByCount "2" @default.
- W2000351746 countsByYear W20003517462021 @default.
- W2000351746 countsByYear W20003517462022 @default.
- W2000351746 crossrefType "journal-article" @default.
- W2000351746 hasAuthorship W2000351746A5012636172 @default.
- W2000351746 hasBestOaLocation W20003517462 @default.
- W2000351746 hasConcept C102993220 @default.
- W2000351746 hasConcept C118615104 @default.
- W2000351746 hasConcept C132170107 @default.
- W2000351746 hasConcept C134306372 @default.
- W2000351746 hasConcept C136119220 @default.
- W2000351746 hasConcept C144760519 @default.
- W2000351746 hasConcept C151730666 @default.
- W2000351746 hasConcept C154945302 @default.
- W2000351746 hasConcept C1883856 @default.
- W2000351746 hasConcept C202444582 @default.
- W2000351746 hasConcept C206321295 @default.
- W2000351746 hasConcept C207405024 @default.
- W2000351746 hasConcept C2777021972 @default.
- W2000351746 hasConcept C2779343474 @default.
- W2000351746 hasConcept C2781278839 @default.
- W2000351746 hasConcept C33203268 @default.
- W2000351746 hasConcept C33923547 @default.
- W2000351746 hasConcept C41008148 @default.
- W2000351746 hasConcept C42011625 @default.
- W2000351746 hasConcept C5263885 @default.
- W2000351746 hasConcept C58166 @default.
- W2000351746 hasConcept C80444323 @default.
- W2000351746 hasConcept C86602344 @default.
- W2000351746 hasConcept C86803240 @default.
- W2000351746 hasConcept C98224912 @default.
- W2000351746 hasConceptScore W2000351746C102993220 @default.
- W2000351746 hasConceptScore W2000351746C118615104 @default.
- W2000351746 hasConceptScore W2000351746C132170107 @default.
- W2000351746 hasConceptScore W2000351746C134306372 @default.
- W2000351746 hasConceptScore W2000351746C136119220 @default.
- W2000351746 hasConceptScore W2000351746C144760519 @default.
- W2000351746 hasConceptScore W2000351746C151730666 @default.
- W2000351746 hasConceptScore W2000351746C154945302 @default.
- W2000351746 hasConceptScore W2000351746C1883856 @default.
- W2000351746 hasConceptScore W2000351746C202444582 @default.
- W2000351746 hasConceptScore W2000351746C206321295 @default.
- W2000351746 hasConceptScore W2000351746C207405024 @default.
- W2000351746 hasConceptScore W2000351746C2777021972 @default.
- W2000351746 hasConceptScore W2000351746C2779343474 @default.
- W2000351746 hasConceptScore W2000351746C2781278839 @default.
- W2000351746 hasConceptScore W2000351746C33203268 @default.
- W2000351746 hasConceptScore W2000351746C33923547 @default.
- W2000351746 hasConceptScore W2000351746C41008148 @default.
- W2000351746 hasConceptScore W2000351746C42011625 @default.
- W2000351746 hasConceptScore W2000351746C5263885 @default.
- W2000351746 hasConceptScore W2000351746C58166 @default.
- W2000351746 hasConceptScore W2000351746C80444323 @default.
- W2000351746 hasConceptScore W2000351746C86602344 @default.
- W2000351746 hasConceptScore W2000351746C86803240 @default.
- W2000351746 hasConceptScore W2000351746C98224912 @default.
- W2000351746 hasIssue "3" @default.
- W2000351746 hasLocation W20003517461 @default.
- W2000351746 hasLocation W20003517462 @default.
- W2000351746 hasLocation W20003517463 @default.
- W2000351746 hasOpenAccess W2000351746 @default.
- W2000351746 hasPrimaryLocation W20003517461 @default.
- W2000351746 hasRelatedWork W1570957963 @default.
- W2000351746 hasRelatedWork W1595640337 @default.
- W2000351746 hasRelatedWork W169137922 @default.
- W2000351746 hasRelatedWork W1783029874 @default.
- W2000351746 hasRelatedWork W2000351746 @default.
- W2000351746 hasRelatedWork W2090698824 @default.
- W2000351746 hasRelatedWork W2128380750 @default.
- W2000351746 hasRelatedWork W4301260238 @default.
- W2000351746 hasRelatedWork W4308610738 @default.
- W2000351746 hasRelatedWork W50822504 @default.
- W2000351746 hasVolume "103" @default.
- W2000351746 isParatext "false" @default.
- W2000351746 isRetracted "false" @default.