"By adding the Absurdity Rule (Ex falso quodlibet) one obtains
Intuitionistic Logic."
Which I read as "Institutionalistic Logic" That sounded right to me..smile,
Karl
Dr. Karl I. Trappe Desk Phone: (512) 471-4152
Physics Dept, Mail Stop C-1600 Demo Office: (512) 471-5411
The University of Texas at Austin Home Phone: (512) 264-1616
Austin, Texas 78712-1081