[Aldor-l] exports and constants

[Ralf Hemmecke]

On 07/25/2006 05:09 PM, Bill Page wrote:
> There is a close connection between types, inheritance and
> logic. I think it is reasonable that Aldor's type system is
> where at least some of this logic is implemented.

I am sure you know about

Logic and Dependent Types in the Aldor Computer Algebra System
http://portal.axiom-developer.org/refs/articles/aldor-calc2000.pdf

and

Adding the axioms to Axiom - Towards a system of automated reasoning in 
Aldor
http://portal.axiom-developer.org/refs/articles/axiom-content.pdf

Ralf