Re: Propositions

• Mail folder: Interlingua Mail
• Next message: phayes@cs.uiuc.edu: "Re: Propositions"
• Previous message: sowa: "Propositions"
• Maybe in reply to: sowa: "Propositions"
• Reply: phayes@cs.uiuc.edu: "Re: Propositions"
• Reply: schubert@cs.rochester.edu: "Re: Propositions"
• Reply: phayes@cs.uiuc.edu: "Re: Propositions"
• Reply: sowa: "Re: Propositions"

Date: Tue, 15 Feb 94 06:27:04 EST
From: sowa <sowa@turing.pacss.binghamton.edu>
Message-id: <9402151127.AA14156@turing.pacss.binghamton.edu>
To: cg@cs.umn.edu, 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