The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is... This description may be from another edition of this product.