SINOPSIS DEL LIBRO

This book presents the history philosophy and mathematics of the major systems of propositional logic Classical logic modal logics many-valued logics intuitionism paraconsistent logics and dependent implication are examined in separate chapters Each begins with a motivation in the originators own terms followed by the standard formal semantics syntax and completeness theorem The chapters on the various logics are largely self-contained so tha...Seguir leyendo