Defining implication relation for classical logic

Li Fu

Classical logic is unfortunately defective with its problematic definition of implication relation, the "material implication". This work presents a corrected definition of implication relation to replace material implication in classical logic. Common "paradoxes" of material implication are avoided while simplicity and usefulness of the system are reserved with this definition of implication relation.

arrow_drop_up