Matches in SemOpenAlex for { <https://semopenalex.org/work/W6189085> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W6189085 abstract "In this chapter we shall prove Chang’s completeness theorem stating that if an equation holds in the unit real interval [0,1], then the equation holds in every MV-algebra. Thus, intuitively, the two element structure {0,1} stands to boolean algebras as the interval [0,1] stands to MV-algebras. Our proof is elementary, and makes use of tools (such as “good sequences”) that shall also find applications in a subsequent chapter to show the equivalence between MV-algebras and lattice-ordered abelian groups with strong unit." @default.
- W6189085 created "2016-06-24" @default.
- W6189085 creator A5009220417 @default.
- W6189085 creator A5045085987 @default.
- W6189085 creator A5069739656 @default.
- W6189085 date "2000-01-01" @default.
- W6189085 modified "2023-10-03" @default.
- W6189085 title "Chang completeness theorem" @default.
- W6189085 doi "https://doi.org/10.1007/978-94-015-9480-6_3" @default.
- W6189085 hasPublicationYear "2000" @default.
- W6189085 type Work @default.
- W6189085 sameAs 6189085 @default.
- W6189085 citedByCount "0" @default.
- W6189085 crossrefType "book-chapter" @default.
- W6189085 hasAuthorship W6189085A5009220417 @default.
- W6189085 hasAuthorship W6189085A5045085987 @default.
- W6189085 hasAuthorship W6189085A5069739656 @default.
- W6189085 hasConcept C114614502 @default.
- W6189085 hasConcept C118615104 @default.
- W6189085 hasConcept C122637931 @default.
- W6189085 hasConcept C128394911 @default.
- W6189085 hasConcept C134306372 @default.
- W6189085 hasConcept C136119220 @default.
- W6189085 hasConcept C136170076 @default.
- W6189085 hasConcept C145420912 @default.
- W6189085 hasConcept C17231256 @default.
- W6189085 hasConcept C200116569 @default.
- W6189085 hasConcept C202444582 @default.
- W6189085 hasConcept C2778067643 @default.
- W6189085 hasConcept C2780069185 @default.
- W6189085 hasConcept C33923547 @default.
- W6189085 hasConceptScore W6189085C114614502 @default.
- W6189085 hasConceptScore W6189085C118615104 @default.
- W6189085 hasConceptScore W6189085C122637931 @default.
- W6189085 hasConceptScore W6189085C128394911 @default.
- W6189085 hasConceptScore W6189085C134306372 @default.
- W6189085 hasConceptScore W6189085C136119220 @default.
- W6189085 hasConceptScore W6189085C136170076 @default.
- W6189085 hasConceptScore W6189085C145420912 @default.
- W6189085 hasConceptScore W6189085C17231256 @default.
- W6189085 hasConceptScore W6189085C200116569 @default.
- W6189085 hasConceptScore W6189085C202444582 @default.
- W6189085 hasConceptScore W6189085C2778067643 @default.
- W6189085 hasConceptScore W6189085C2780069185 @default.
- W6189085 hasConceptScore W6189085C33923547 @default.
- W6189085 hasLocation W61890851 @default.
- W6189085 hasOpenAccess W6189085 @default.
- W6189085 hasPrimaryLocation W61890851 @default.
- W6189085 hasRelatedWork W1507093113 @default.
- W6189085 hasRelatedWork W1600699360 @default.
- W6189085 hasRelatedWork W1995363559 @default.
- W6189085 hasRelatedWork W2013191336 @default.
- W6189085 hasRelatedWork W2051531869 @default.
- W6189085 hasRelatedWork W2060853193 @default.
- W6189085 hasRelatedWork W2078491542 @default.
- W6189085 hasRelatedWork W2117439589 @default.
- W6189085 hasRelatedWork W2120840992 @default.
- W6189085 hasRelatedWork W2165758366 @default.
- W6189085 hasRelatedWork W2316726503 @default.
- W6189085 hasRelatedWork W2441976789 @default.
- W6189085 hasRelatedWork W2913700957 @default.
- W6189085 hasRelatedWork W2962768082 @default.
- W6189085 hasRelatedWork W2963277410 @default.
- W6189085 hasRelatedWork W3103526932 @default.
- W6189085 hasRelatedWork W3175066819 @default.
- W6189085 hasRelatedWork W3199132729 @default.
- W6189085 hasRelatedWork W62591771 @default.
- W6189085 hasRelatedWork W2289946635 @default.
- W6189085 isParatext "false" @default.
- W6189085 isRetracted "false" @default.
- W6189085 magId "6189085" @default.
- W6189085 workType "book-chapter" @default.