[Om] Common Logic ISO pre-standard

Jacques Carette carette at mcmaster.ca
Fri Dec 2 14:57:22 CET 2005

Is the OpenMath community aware/involved with the ISO committee working 
on Common Logic? 
See http://cl.tamu.edu/ for details.

It certainly looks to me that replacing (some of) the logic* 
dictionaries with one based on Common Logic might be very advantageous, 
and might foster greater acceptance of OpenMath.


More information about the Om mailing list