Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: The lattice of theories




Frank,

Yes, a registry is a very important mechanism that would be needed.

The generalization and specialization operators of the lattice
provide a natural ordering, but the features of a registry are
very imprortant for practical use.

John Sowa