Molecules and linearly ordered ideals of MV-algebras (Q1385188)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Molecules and linearly ordered ideals of MV-algebras
scientific article

    Statements

    Molecules and linearly ordered ideals of MV-algebras (English)
    0 references
    5 October 1998
    0 references
    By a molecule in an MV-algebra \(A\) the author means a nonzero element \(m\) the set of whose minorants in \(A\) forms a chain. He notes that a nonzero ideal \(I\) of \(A\) is linearly ordered iff every nonzero element of \(I\) is a molecule (Theorem 2.4). Also, \(m\) is a molecule iff the ideal of all elements orthogonal to \(m\) is prime (Theorem 2.2). Further (Theorem 2.8) if the Boolean skeleton of \(A\) is nontrivial then 1 cannot be a molecule -- simply because 1 will then have two incomparable nonzero minorants. The paper proceeds along similar lines, discussing the connections between molecules, Boolean elements, elements \(x\) such that \(2x\) is Boolean, atoms, elements \(x\) smaller or equal to \(\neg x\), essential and weakly essential ideals, ideals \(I\) such that \(A/I\) is Boolean (called ``implicative'' in this paper, and not to be confused with the implicative ideals introduced in the sixties and seventies by Antonio A. Monteiro and his school).
    0 references
    Łukasiewicz calculus
    0 references
    many-valued logic
    0 references
    molecule
    0 references
    MV-algebra
    0 references
    minorants
    0 references
    Boolean elements
    0 references
    atoms
    0 references
    ideals
    0 references
    0 references

    Identifiers