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