Return to Article Details A GENERALIZATION OF THE FIRST-ORDER LOGIC Download Download PDF