Matches in SemOpenAlex for { <https://semopenalex.org/work/W1927766982> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1927766982 endingPage "273" @default.
- W1927766982 startingPage "268" @default.
- W1927766982 abstract "In this paper, we show that the finite model property fails for certain non‐integral semilinear substructural logics including Metcalfe and Montagna's uninorm logic and involutive uninorm logic, and a suitable extension of Metcalfe, Olivetti and Gabbay's pseudo‐uninorm logic. Algebraically, the results show that certain classes of bounded residuated lattices that are generated as varieties by their linearly ordered members are not generated as varieties by their finite members." @default.
- W1927766982 created "2016-06-24" @default.
- W1927766982 creator A5032301293 @default.
- W1927766982 date "2013-08-01" @default.
- W1927766982 modified "2023-10-14" @default.
- W1927766982 title "The finite model property for semilinear substructural logics" @default.
- W1927766982 cites W1973063351 @default.
- W1927766982 cites W1993244347 @default.
- W1927766982 cites W2003364215 @default.
- W1927766982 cites W2010463629 @default.
- W1927766982 cites W2010858955 @default.
- W1927766982 cites W2039022935 @default.
- W1927766982 cites W2047865342 @default.
- W1927766982 cites W2048656560 @default.
- W1927766982 cites W2048928681 @default.
- W1927766982 cites W2072558524 @default.
- W1927766982 cites W2079944707 @default.
- W1927766982 cites W2084033816 @default.
- W1927766982 cites W2098086155 @default.
- W1927766982 cites W2110182592 @default.
- W1927766982 cites W2112664318 @default.
- W1927766982 cites W607239742 @default.
- W1927766982 doi "https://doi.org/10.1002/malq.201200032" @default.
- W1927766982 hasPublicationYear "2013" @default.
- W1927766982 type Work @default.
- W1927766982 sameAs 1927766982 @default.
- W1927766982 citedByCount "7" @default.
- W1927766982 countsByYear W19277669822013 @default.
- W1927766982 countsByYear W19277669822014 @default.
- W1927766982 countsByYear W19277669822015 @default.
- W1927766982 countsByYear W19277669822016 @default.
- W1927766982 countsByYear W19277669822018 @default.
- W1927766982 countsByYear W19277669822019 @default.
- W1927766982 crossrefType "journal-article" @default.
- W1927766982 hasAuthorship W1927766982A5032301293 @default.
- W1927766982 hasConcept C111472728 @default.
- W1927766982 hasConcept C118615104 @default.
- W1927766982 hasConcept C134306372 @default.
- W1927766982 hasConcept C136119220 @default.
- W1927766982 hasConcept C138885662 @default.
- W1927766982 hasConcept C154945302 @default.
- W1927766982 hasConcept C1883856 @default.
- W1927766982 hasConcept C189950617 @default.
- W1927766982 hasConcept C199360897 @default.
- W1927766982 hasConcept C202444582 @default.
- W1927766982 hasConcept C2778029271 @default.
- W1927766982 hasConcept C2781278839 @default.
- W1927766982 hasConcept C33923547 @default.
- W1927766982 hasConcept C34388435 @default.
- W1927766982 hasConcept C41008148 @default.
- W1927766982 hasConcept C42011625 @default.
- W1927766982 hasConcept C58166 @default.
- W1927766982 hasConcept C98224912 @default.
- W1927766982 hasConceptScore W1927766982C111472728 @default.
- W1927766982 hasConceptScore W1927766982C118615104 @default.
- W1927766982 hasConceptScore W1927766982C134306372 @default.
- W1927766982 hasConceptScore W1927766982C136119220 @default.
- W1927766982 hasConceptScore W1927766982C138885662 @default.
- W1927766982 hasConceptScore W1927766982C154945302 @default.
- W1927766982 hasConceptScore W1927766982C1883856 @default.
- W1927766982 hasConceptScore W1927766982C189950617 @default.
- W1927766982 hasConceptScore W1927766982C199360897 @default.
- W1927766982 hasConceptScore W1927766982C202444582 @default.
- W1927766982 hasConceptScore W1927766982C2778029271 @default.
- W1927766982 hasConceptScore W1927766982C2781278839 @default.
- W1927766982 hasConceptScore W1927766982C33923547 @default.
- W1927766982 hasConceptScore W1927766982C34388435 @default.
- W1927766982 hasConceptScore W1927766982C41008148 @default.
- W1927766982 hasConceptScore W1927766982C42011625 @default.
- W1927766982 hasConceptScore W1927766982C58166 @default.
- W1927766982 hasConceptScore W1927766982C98224912 @default.
- W1927766982 hasFunder F4320321001 @default.
- W1927766982 hasIssue "4-5" @default.
- W1927766982 hasLocation W19277669821 @default.
- W1927766982 hasOpenAccess W1927766982 @default.
- W1927766982 hasPrimaryLocation W19277669821 @default.
- W1927766982 hasRelatedWork W1482535653 @default.
- W1927766982 hasRelatedWork W169137922 @default.
- W1927766982 hasRelatedWork W1783029874 @default.
- W1927766982 hasRelatedWork W2006308727 @default.
- W1927766982 hasRelatedWork W2020174565 @default.
- W1927766982 hasRelatedWork W2429723507 @default.
- W1927766982 hasRelatedWork W3023629693 @default.
- W1927766982 hasRelatedWork W3080875783 @default.
- W1927766982 hasRelatedWork W3214248392 @default.
- W1927766982 hasRelatedWork W4251067554 @default.
- W1927766982 hasVolume "59" @default.
- W1927766982 isParatext "false" @default.
- W1927766982 isRetracted "false" @default.
- W1927766982 magId "1927766982" @default.
- W1927766982 workType "article" @default.