Return to Article Details Jaina logic: a model-based analysis of the seven predications Download Download PDF