M. Gordon Beavers

Learn More
MV-algebras were introduced by Chang in 1958 preliminary to his providing an algebraic completeness proof for the K 0-vaΓued Lukasiewicz propositional logic, L Xo. In this paper a method is given for determining, for an arbitrary normal extension of L Ko , an MV-algebra characteristic for the extension. The characteristic algebras are finite direct products(More)
  • 1