Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams ...

We report an experimental study on the effects of diagrams on deductive reasoning with double disjunctions, for example: Raphael is in Tacoma or Julia is in Atlanta, or both. Julia is in Atlanta or ...