FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3175327018> ?p ?o ?g. }

• W3175327018 endingPage "120" @default.
• W3175327018 startingPage "95" @default.
• W3175327018 abstract "We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and generalizes two semantics already appearing in the literature: Aguzzoli, Bianchi, and Marra's temporal flow semantics for H'ajek's basic logic, and Lewis-Smith, Oliva, and Robinson's semantics for intuitionistic Lukasiewicz logic. As a consequence of our general theory, we recover the soundness and completeness results of these prior studies in a uniform fashion, and extend them to infinitely-many other substructural logics." @default.
• W3175327018 created "2021-07-05" @default.
• W3175327018 creator A5080683034 @default.
• W3175327018 date "2021-06-17" @default.
• W3175327018 modified "2023-09-24" @default.
• W3175327018 title "Poset Products as Relational Models" @default.
• W3175327018 cites W1965682580 @default.
• W3175327018 cites W1991780340 @default.
• W3175327018 cites W1993580992 @default.
• W3175327018 cites W2012072427 @default.
• W3175327018 cites W2027528905 @default.
• W3175327018 cites W2047865342 @default.
• W3175327018 cites W2062581225 @default.
• W3175327018 cites W2071694554 @default.
• W3175327018 cites W2076261541 @default.
• W3175327018 cites W2084171043 @default.
• W3175327018 cites W2087171264 @default.
• W3175327018 cites W2091158126 @default.
• W3175327018 cites W2095665118 @default.
• W3175327018 cites W2110182592 @default.
• W3175327018 cites W2121227486 @default.
• W3175327018 cites W2146205527 @default.
• W3175327018 cites W2160771441 @default.
• W3175327018 cites W2167876084 @default.
• W3175327018 cites W2169981414 @default.
• W3175327018 cites W2272007715 @default.
• W3175327018 cites W2339335198 @default.
• W3175327018 cites W2760950178 @default.
• W3175327018 cites W2769407341 @default.
• W3175327018 cites W3019035954 @default.
• W3175327018 cites W3121824157 @default.
• W3175327018 cites W3128976560 @default.
• W3175327018 cites W4248857920 @default.
• W3175327018 cites W4252113473 @default.
• W3175327018 cites W4293176479 @default.
• W3175327018 doi "https://doi.org/10.1007/s11225-021-09956-z" @default.
• W3175327018 hasPublicationYear "2021" @default.
• W3175327018 type Work @default.
• W3175327018 sameAs 3175327018 @default.
• W3175327018 citedByCount "2" @default.
• W3175327018 countsByYear W31753270182021 @default.
• W3175327018 countsByYear W31753270182023 @default.
• W3175327018 crossrefType "journal-article" @default.
• W3175327018 hasAuthorship W3175327018A5080683034 @default.
• W3175327018 hasBestOaLocation W31753270182 @default.
• W3175327018 hasConcept C102993220 @default.
• W3175327018 hasConcept C118615104 @default.
• W3175327018 hasConcept C134306372 @default.
• W3175327018 hasConcept C136119220 @default.
• W3175327018 hasConcept C156325763 @default.
• W3175327018 hasConcept C160131679 @default.
• W3175327018 hasConcept C17231256 @default.
• W3175327018 hasConcept C184337299 @default.
• W3175327018 hasConcept C199360897 @default.
• W3175327018 hasConcept C202444582 @default.
• W3175327018 hasConcept C203659156 @default.
• W3175327018 hasConcept C207648694 @default.
• W3175327018 hasConcept C33923547 @default.
• W3175327018 hasConcept C39920170 @default.
• W3175327018 hasConcept C41008148 @default.
• W3175327018 hasConcept C80444323 @default.
• W3175327018 hasConcept C89497691 @default.
• W3175327018 hasConceptScore W3175327018C102993220 @default.
• W3175327018 hasConceptScore W3175327018C118615104 @default.
• W3175327018 hasConceptScore W3175327018C134306372 @default.
• W3175327018 hasConceptScore W3175327018C136119220 @default.
• W3175327018 hasConceptScore W3175327018C156325763 @default.
• W3175327018 hasConceptScore W3175327018C160131679 @default.
• W3175327018 hasConceptScore W3175327018C17231256 @default.
• W3175327018 hasConceptScore W3175327018C184337299 @default.
• W3175327018 hasConceptScore W3175327018C199360897 @default.
• W3175327018 hasConceptScore W3175327018C202444582 @default.
• W3175327018 hasConceptScore W3175327018C203659156 @default.
• W3175327018 hasConceptScore W3175327018C207648694 @default.
• W3175327018 hasConceptScore W3175327018C33923547 @default.
• W3175327018 hasConceptScore W3175327018C39920170 @default.
• W3175327018 hasConceptScore W3175327018C41008148 @default.
• W3175327018 hasConceptScore W3175327018C80444323 @default.
• W3175327018 hasConceptScore W3175327018C89497691 @default.
• W3175327018 hasFunder F4320338335 @default.
• W3175327018 hasIssue "1" @default.
• W3175327018 hasLocation W31753270181 @default.
• W3175327018 hasLocation W31753270182 @default.
• W3175327018 hasOpenAccess W3175327018 @default.
• W3175327018 hasPrimaryLocation W31753270181 @default.
• W3175327018 hasRelatedWork W1500877097 @default.
• W3175327018 hasRelatedWork W1593507982 @default.
• W3175327018 hasRelatedWork W1639411684 @default.
• W3175327018 hasRelatedWork W1994524667 @default.
• W3175327018 hasRelatedWork W2117798332 @default.
• W3175327018 hasRelatedWork W2163432423 @default.
• W3175327018 hasRelatedWork W3024382762 @default.
• W3175327018 hasRelatedWork W3109666952 @default.
• W3175327018 hasRelatedWork W3175327018 @default.
• W3175327018 hasRelatedWork W4287558007 @default.
• W3175327018 hasVolume "110" @default.
• W3175327018 isParatext "false" @default.
• W3175327018 isRetracted "false" @default.

• next