Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387614666> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4387614666 abstract "Abstract In this work, we present polyhedral semantics as a means to tractably approximate Łukasiewicz infinitely-valued logic (Ł$_{infty}$). As Ł$_{infty}$ is an expressive multivalued propositional logic whose decision problem is NP-complete, we show how to to obtain an approximation for this problem providing a family of multivalued logics over the same language as Ł$_{infty}$. Each element of the family is associated to a polynomial-time linear program, thus providing a tractable way of deciding each intermediate step. We also investigate properties of the logic system derived from polyhedral semantics and the details of an algorithm for the approximation process." @default.
- W4387614666 created "2023-10-14" @default.
- W4387614666 creator A5024395125 @default.
- W4387614666 creator A5028358997 @default.
- W4387614666 date "2023-10-13" @default.
- W4387614666 modified "2023-10-15" @default.
- W4387614666 title "Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic" @default.
- W4387614666 cites W1579757812 @default.
- W4387614666 cites W1977670033 @default.
- W4387614666 cites W1977750248 @default.
- W4387614666 cites W1989632075 @default.
- W4387614666 cites W2011992362 @default.
- W4387614666 cites W2012072427 @default.
- W4387614666 cites W2016515719 @default.
- W4387614666 cites W2041848570 @default.
- W4387614666 cites W2077925882 @default.
- W4387614666 cites W2087171264 @default.
- W4387614666 cites W2140165121 @default.
- W4387614666 cites W2214462370 @default.
- W4387614666 cites W2242790379 @default.
- W4387614666 cites W2835394801 @default.
- W4387614666 cites W4226188386 @default.
- W4387614666 cites W4381251753 @default.
- W4387614666 cites W4381894207 @default.
- W4387614666 cites W4381894531 @default.
- W4387614666 doi "https://doi.org/10.1093/logcom/exad059" @default.
- W4387614666 hasPublicationYear "2023" @default.
- W4387614666 type Work @default.
- W4387614666 citedByCount "0" @default.
- W4387614666 crossrefType "journal-article" @default.
- W4387614666 hasAuthorship W4387614666A5024395125 @default.
- W4387614666 hasAuthorship W4387614666A5028358997 @default.
- W4387614666 hasConcept C11413529 @default.
- W4387614666 hasConcept C118615104 @default.
- W4387614666 hasConcept C136119220 @default.
- W4387614666 hasConcept C184337299 @default.
- W4387614666 hasConcept C199360897 @default.
- W4387614666 hasConcept C202444582 @default.
- W4387614666 hasConcept C33923547 @default.
- W4387614666 hasConcept C41008148 @default.
- W4387614666 hasConcept C69562738 @default.
- W4387614666 hasConceptScore W4387614666C11413529 @default.
- W4387614666 hasConceptScore W4387614666C118615104 @default.
- W4387614666 hasConceptScore W4387614666C136119220 @default.
- W4387614666 hasConceptScore W4387614666C184337299 @default.
- W4387614666 hasConceptScore W4387614666C199360897 @default.
- W4387614666 hasConceptScore W4387614666C202444582 @default.
- W4387614666 hasConceptScore W4387614666C33923547 @default.
- W4387614666 hasConceptScore W4387614666C41008148 @default.
- W4387614666 hasConceptScore W4387614666C69562738 @default.
- W4387614666 hasLocation W43876146661 @default.
- W4387614666 hasOpenAccess W4387614666 @default.
- W4387614666 hasPrimaryLocation W43876146661 @default.
- W4387614666 hasRelatedWork W2051487156 @default.
- W4387614666 hasRelatedWork W2052122378 @default.
- W4387614666 hasRelatedWork W2053286651 @default.
- W4387614666 hasRelatedWork W2073681303 @default.
- W4387614666 hasRelatedWork W2317200988 @default.
- W4387614666 hasRelatedWork W2544423928 @default.
- W4387614666 hasRelatedWork W2947381795 @default.
- W4387614666 hasRelatedWork W2181413294 @default.
- W4387614666 hasRelatedWork W2181743346 @default.
- W4387614666 hasRelatedWork W2187401768 @default.
- W4387614666 isParatext "false" @default.
- W4387614666 isRetracted "false" @default.
- W4387614666 workType "article" @default.