Abstract

This dissertation investigates various issues in Lukasiewicz logics. The primary result is that a connection is made between extensions of the $\aleph\sb{0}$-valued Lukasiewicz proposition calculus and two classes of Chang algebra. The result constitutes a soundness and completeness result for all normal extensions of the $\aleph\sb{0}$-valued Lukasiewicz propositional calculus. An automated theorem checker is also provided for this logic