Re: Propositions

sowa <>
Date: Tue, 15 Feb 94 06:27:04 EST
From: sowa <>
Message-id: <>
To:, interlingua@ISI.EDU
Subject: Re: Propositions
PS:  Actually, that procedure I defined in my previous note
does not even depend on the predicate names and alphabetical order.
The primary purpose of sorting is to eliminate duplicates and
to ensure a unique normal form.  It turns out that you will get
equivalent results even if you translate the predicate names to
another language with a different alphabet.  The only constraint
is that you must have one-to-one mapping of predicate names in
one language to predicate names in the other language.

John Sowa