Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
For a given cardinal number 𝔞, we construct a totally ordered MV-algebra M(𝔞) having the property that every totally ordered MV-algebra of cardinality at most 𝔞 embeds into M(𝔞). In case 𝔞 = ℵ₀, the algebra M(𝔞) is the first known MV-algebra with respect to which the deductive system for the infinitely-valued Łukasiewicz's propositional logic is strongly complete.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Numer
Strony
57-63
Opis fizyczny
Daty
wydano
2009
Twórcy
autor
- Department of Mathematical Sciences, The University of Texas at El Paso, El Paso, TX 79968, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm203-1-5