Matches in SemOpenAlex for { <https://semopenalex.org/work/W1960718820> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1960718820 abstract "Although it is well-known that every satisfiable formula in Łukasiewicz' infinite-valued logic $mathcal{L}_{infty}$ can be satisfied in some finite-valued logic, practical methods for finding an appropriate number of truth degrees do currently not exist. As a first step towards efficient reasoning in $mathcal{L}_{infty}$, we propose a method to find a tight upper bound on this number which, in practice, often significantly improves the worst-case upper bound of Aguzzoli et al." @default.
- W1960718820 created "2016-06-24" @default.
- W1960718820 creator A5009887598 @default.
- W1960718820 creator A5020963318 @default.
- W1960718820 creator A5056749857 @default.
- W1960718820 creator A5085575523 @default.
- W1960718820 date "2009-01-01" @default.
- W1960718820 modified "2023-09-28" @default.
- W1960718820 title "Finite Satisfiability in Infinite-Valued Łukasiewicz Logic" @default.
- W1960718820 cites W1546007266 @default.
- W1960718820 cites W1574843523 @default.
- W1960718820 cites W1598668400 @default.
- W1960718820 cites W1923495615 @default.
- W1960718820 cites W1977670033 @default.
- W1960718820 cites W1986964870 @default.
- W1960718820 cites W1989632075 @default.
- W1960718820 cites W1993580992 @default.
- W1960718820 cites W2004414305 @default.
- W1960718820 cites W2013088431 @default.
- W1960718820 cites W2015274895 @default.
- W1960718820 cites W2016033687 @default.
- W1960718820 cites W2060345474 @default.
- W1960718820 cites W2087171264 @default.
- W1960718820 cites W2124619812 @default.
- W1960718820 cites W2145603219 @default.
- W1960718820 cites W2152774062 @default.
- W1960718820 cites W4237496336 @default.
- W1960718820 doi "https://doi.org/10.1007/978-3-642-04388-8_19" @default.
- W1960718820 hasPublicationYear "2009" @default.
- W1960718820 type Work @default.
- W1960718820 sameAs 1960718820 @default.
- W1960718820 citedByCount "5" @default.
- W1960718820 countsByYear W19607188202012 @default.
- W1960718820 countsByYear W19607188202016 @default.
- W1960718820 countsByYear W19607188202023 @default.
- W1960718820 crossrefType "book-chapter" @default.
- W1960718820 hasAuthorship W1960718820A5009887598 @default.
- W1960718820 hasAuthorship W1960718820A5020963318 @default.
- W1960718820 hasAuthorship W1960718820A5056749857 @default.
- W1960718820 hasAuthorship W1960718820A5085575523 @default.
- W1960718820 hasConcept C102993220 @default.
- W1960718820 hasConcept C11413529 @default.
- W1960718820 hasConcept C118615104 @default.
- W1960718820 hasConcept C134306372 @default.
- W1960718820 hasConcept C144760519 @default.
- W1960718820 hasConcept C168773769 @default.
- W1960718820 hasConcept C206321295 @default.
- W1960718820 hasConcept C33203268 @default.
- W1960718820 hasConcept C33923547 @default.
- W1960718820 hasConcept C41008148 @default.
- W1960718820 hasConcept C6943359 @default.
- W1960718820 hasConcept C77553402 @default.
- W1960718820 hasConcept C80444323 @default.
- W1960718820 hasConceptScore W1960718820C102993220 @default.
- W1960718820 hasConceptScore W1960718820C11413529 @default.
- W1960718820 hasConceptScore W1960718820C118615104 @default.
- W1960718820 hasConceptScore W1960718820C134306372 @default.
- W1960718820 hasConceptScore W1960718820C144760519 @default.
- W1960718820 hasConceptScore W1960718820C168773769 @default.
- W1960718820 hasConceptScore W1960718820C206321295 @default.
- W1960718820 hasConceptScore W1960718820C33203268 @default.
- W1960718820 hasConceptScore W1960718820C33923547 @default.
- W1960718820 hasConceptScore W1960718820C41008148 @default.
- W1960718820 hasConceptScore W1960718820C6943359 @default.
- W1960718820 hasConceptScore W1960718820C77553402 @default.
- W1960718820 hasConceptScore W1960718820C80444323 @default.
- W1960718820 hasLocation W19607188201 @default.
- W1960718820 hasOpenAccess W1960718820 @default.
- W1960718820 hasPrimaryLocation W19607188201 @default.
- W1960718820 hasRelatedWork W1496683511 @default.
- W1960718820 hasRelatedWork W152191533 @default.
- W1960718820 hasRelatedWork W1525631812 @default.
- W1960718820 hasRelatedWork W1542224128 @default.
- W1960718820 hasRelatedWork W1566279036 @default.
- W1960718820 hasRelatedWork W1919945074 @default.
- W1960718820 hasRelatedWork W1967161325 @default.
- W1960718820 hasRelatedWork W1972026679 @default.
- W1960718820 hasRelatedWork W1979065044 @default.
- W1960718820 hasRelatedWork W1987580556 @default.
- W1960718820 hasRelatedWork W201798695 @default.
- W1960718820 hasRelatedWork W2031137635 @default.
- W1960718820 hasRelatedWork W2033718868 @default.
- W1960718820 hasRelatedWork W2106478922 @default.
- W1960718820 hasRelatedWork W2127802329 @default.
- W1960718820 hasRelatedWork W2596631569 @default.
- W1960718820 hasRelatedWork W3127071357 @default.
- W1960718820 hasRelatedWork W573138702 @default.
- W1960718820 hasRelatedWork W73004332 @default.
- W1960718820 hasRelatedWork W3168382218 @default.
- W1960718820 isParatext "false" @default.
- W1960718820 isRetracted "false" @default.
- W1960718820 magId "1960718820" @default.
- W1960718820 workType "book-chapter" @default.