Abstract

It does not seem reasonable that modus ponens does not always hold for the compositional rule of inference (CRI). However, CRI is shown to be reasonable for some usual cases, and a modification of CRI is given for other cases.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call