Matches in SemOpenAlex for { <https://semopenalex.org/work/W1602409330> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1602409330 endingPage "661" @default.
- W1602409330 startingPage "650" @default.
- W1602409330 abstract "AbstractWe construct a class of Łukasiewicz formulae whose associated McNaughton functions constitute a family of Schauder hats having special properties. Our technique is inspired by the well-known algorithm of Brun [3,4,2] for simultaneous diopanthine approximations. As a first application of Brun hats we construct normal forms for co-atomic Łukasiewicz logics. We also show how to combine Brun hats to obtain normal forms for all finite-valued Łukasiewicz logics.KeywordsNormal FormInitial BaseLukasiewicz LogicContinue Fraction AlgorithmSimultaneous Diophantine ApproximationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1602409330 created "2016-06-24" @default.
- W1602409330 creator A5011161376 @default.
- W1602409330 creator A5039757989 @default.
- W1602409330 creator A5079292799 @default.
- W1602409330 date "2005-01-01" @default.
- W1602409330 modified "2023-10-18" @default.
- W1602409330 title "Brun Normal Forms for Co-atomic Łukasiewicz Logics" @default.
- W1602409330 cites W1536409494 @default.
- W1602409330 cites W1566552629 @default.
- W1602409330 cites W1966763988 @default.
- W1602409330 cites W1989632075 @default.
- W1602409330 cites W2012072427 @default.
- W1602409330 cites W2054457993 @default.
- W1602409330 cites W2080126541 @default.
- W1602409330 doi "https://doi.org/10.1007/11518655_55" @default.
- W1602409330 hasPublicationYear "2005" @default.
- W1602409330 type Work @default.
- W1602409330 sameAs 1602409330 @default.
- W1602409330 citedByCount "0" @default.
- W1602409330 crossrefType "book-chapter" @default.
- W1602409330 hasAuthorship W1602409330A5011161376 @default.
- W1602409330 hasAuthorship W1602409330A5039757989 @default.
- W1602409330 hasAuthorship W1602409330A5079292799 @default.
- W1602409330 hasConcept C102993220 @default.
- W1602409330 hasConcept C136119220 @default.
- W1602409330 hasConcept C144760519 @default.
- W1602409330 hasConcept C154945302 @default.
- W1602409330 hasConcept C199360897 @default.
- W1602409330 hasConcept C202444582 @default.
- W1602409330 hasConcept C206321295 @default.
- W1602409330 hasConcept C2777212361 @default.
- W1602409330 hasConcept C2780801425 @default.
- W1602409330 hasConcept C33203268 @default.
- W1602409330 hasConcept C33923547 @default.
- W1602409330 hasConcept C41008148 @default.
- W1602409330 hasConcept C80444323 @default.
- W1602409330 hasConceptScore W1602409330C102993220 @default.
- W1602409330 hasConceptScore W1602409330C136119220 @default.
- W1602409330 hasConceptScore W1602409330C144760519 @default.
- W1602409330 hasConceptScore W1602409330C154945302 @default.
- W1602409330 hasConceptScore W1602409330C199360897 @default.
- W1602409330 hasConceptScore W1602409330C202444582 @default.
- W1602409330 hasConceptScore W1602409330C206321295 @default.
- W1602409330 hasConceptScore W1602409330C2777212361 @default.
- W1602409330 hasConceptScore W1602409330C2780801425 @default.
- W1602409330 hasConceptScore W1602409330C33203268 @default.
- W1602409330 hasConceptScore W1602409330C33923547 @default.
- W1602409330 hasConceptScore W1602409330C41008148 @default.
- W1602409330 hasConceptScore W1602409330C80444323 @default.
- W1602409330 hasLocation W16024093301 @default.
- W1602409330 hasOpenAccess W1602409330 @default.
- W1602409330 hasPrimaryLocation W16024093301 @default.
- W1602409330 hasRelatedWork W2351571780 @default.
- W1602409330 hasRelatedWork W2355794734 @default.
- W1602409330 hasRelatedWork W2355833191 @default.
- W1602409330 hasRelatedWork W2358624294 @default.
- W1602409330 hasRelatedWork W2372148503 @default.
- W1602409330 hasRelatedWork W2393076020 @default.
- W1602409330 hasRelatedWork W2394390044 @default.
- W1602409330 hasRelatedWork W2748952813 @default.
- W1602409330 hasRelatedWork W4244397872 @default.
- W1602409330 hasRelatedWork W2592569039 @default.
- W1602409330 isParatext "false" @default.
- W1602409330 isRetracted "false" @default.
- W1602409330 magId "1602409330" @default.
- W1602409330 workType "book-chapter" @default.