> My proposal is type theory, or, failing that, Common Logic with a > strongly typed syntax in front of it. But this is a proposal for a > notation for exchanging information, not for a system of inference. Can you expand on the type theory proposal a bit? Does it address many of the rule language uses cases from the workshop? My understanding of type theory is pretty thin, and I can't bridge the gap from there to the somewhat fuzzy neighborhood of rule languages. -- sandroReceived on Friday, 1 July 2005 04:16:00 UTC
This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:16 UTC