Defining implication relation for classical logic
- AI4CE
Abstract
Classical logic has a problematic definition of implication -- the "material implication". This work presents a definition of implication relation to replace the material implication for classical logic. The "paradoxes" of material implication are avoided while strength and simplicity of the system are reserved with this definition of implication.
View on arXivComments on this paper
