Notation 3 Logic

I would consider to pass this document by a Spell Checker.

On the section Equalaty you can find '(∀i . ∃j .  Si = Tj. )   &  (∀i
. ∃j .  Si = Tj. )' for the equalaty of sets. Probably you mean '(∀i .
∃j .  Si = Tj. )   &  (∀i . ∃j .  Sj = Ti. )'


path : http://www.w3.org/DesignIssues/N3Logic
Marcos

--
Marcos Rebelo
http://oleber.awardspace.com/