Matches in SemOpenAlex for { <https://semopenalex.org/work/W2515669424> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2515669424 abstract "In this paper, three semilinear substructural logics ULw, IULw and HpsUL*w are constructed. Then the completeness of ULw and IULw with respect to classes of finite UL and IUL-algebras, respectively, is proved. Algebraically, non-integral ULw and IULw-algebras have the finite embeddability property, which gives a characterization for finite UL and IUL-algebras. Furthermore, the standard completeness of ULw, IULw and HpsUL*w is proved, which shows that they are substructural fuzzy logics." @default.
- W2515669424 created "2016-09-16" @default.
- W2515669424 creator A5032301293 @default.
- W2515669424 date "2016-08-13" @default.
- W2515669424 modified "2023-10-17" @default.
- W2515669424 title "Semilinear substructural logics with the finite embeddability property" @default.
- W2515669424 cites W1511669762 @default.
- W2515669424 cites W1602192439 @default.
- W2515669424 cites W1653282108 @default.
- W2515669424 cites W1927766982 @default.
- W2515669424 cites W2039022935 @default.
- W2515669424 cites W2047865342 @default.
- W2515669424 cites W2079944707 @default.
- W2515669424 cites W2084033816 @default.
- W2515669424 cites W2112664318 @default.
- W2515669424 cites W760466260 @default.
- W2515669424 doi "https://doi.org/10.48550/arxiv.1608.04029" @default.
- W2515669424 hasPublicationYear "2016" @default.
- W2515669424 type Work @default.
- W2515669424 sameAs 2515669424 @default.
- W2515669424 citedByCount "0" @default.
- W2515669424 crossrefType "posted-content" @default.
- W2515669424 hasAuthorship W2515669424A5032301293 @default.
- W2515669424 hasBestOaLocation W25156694241 @default.
- W2515669424 hasConcept C111472728 @default.
- W2515669424 hasConcept C118615104 @default.
- W2515669424 hasConcept C134306372 @default.
- W2515669424 hasConcept C136119220 @default.
- W2515669424 hasConcept C138885662 @default.
- W2515669424 hasConcept C154945302 @default.
- W2515669424 hasConcept C171250308 @default.
- W2515669424 hasConcept C17231256 @default.
- W2515669424 hasConcept C189950617 @default.
- W2515669424 hasConcept C192562407 @default.
- W2515669424 hasConcept C202444582 @default.
- W2515669424 hasConcept C2780841128 @default.
- W2515669424 hasConcept C33923547 @default.
- W2515669424 hasConcept C41008148 @default.
- W2515669424 hasConcept C58166 @default.
- W2515669424 hasConceptScore W2515669424C111472728 @default.
- W2515669424 hasConceptScore W2515669424C118615104 @default.
- W2515669424 hasConceptScore W2515669424C134306372 @default.
- W2515669424 hasConceptScore W2515669424C136119220 @default.
- W2515669424 hasConceptScore W2515669424C138885662 @default.
- W2515669424 hasConceptScore W2515669424C154945302 @default.
- W2515669424 hasConceptScore W2515669424C171250308 @default.
- W2515669424 hasConceptScore W2515669424C17231256 @default.
- W2515669424 hasConceptScore W2515669424C189950617 @default.
- W2515669424 hasConceptScore W2515669424C192562407 @default.
- W2515669424 hasConceptScore W2515669424C202444582 @default.
- W2515669424 hasConceptScore W2515669424C2780841128 @default.
- W2515669424 hasConceptScore W2515669424C33923547 @default.
- W2515669424 hasConceptScore W2515669424C41008148 @default.
- W2515669424 hasConceptScore W2515669424C58166 @default.
- W2515669424 hasLocation W25156694241 @default.
- W2515669424 hasLocation W25156694242 @default.
- W2515669424 hasOpenAccess W2515669424 @default.
- W2515669424 hasPrimaryLocation W25156694241 @default.
- W2515669424 hasRelatedWork W1525025891 @default.
- W2515669424 hasRelatedWork W1970705056 @default.
- W2515669424 hasRelatedWork W2020174565 @default.
- W2515669424 hasRelatedWork W2132530790 @default.
- W2515669424 hasRelatedWork W2137410044 @default.
- W2515669424 hasRelatedWork W2234350322 @default.
- W2515669424 hasRelatedWork W3184256712 @default.
- W2515669424 hasRelatedWork W4220930588 @default.
- W2515669424 hasRelatedWork W4245749626 @default.
- W2515669424 hasRelatedWork W4287068021 @default.
- W2515669424 isParatext "false" @default.
- W2515669424 isRetracted "false" @default.
- W2515669424 magId "2515669424" @default.
- W2515669424 workType "article" @default.