John & All:
I noticed that four of the six stated requirements for the FL mention mappings, translations, conversions and interchange.
JS> Given these observations, I suggest the following requirements,
> which do not make any assumptions about the kind of logic:
>
> 2. Formal mappings shall be specified to translate FL to and
> from all the notations, diagrams, and languages used by the
> various systems and components.
>
> 3. Since different systems and components may require different
> expressive power in their notations, mappings from all notations
> to FL shall always be possible. But some information expressed
> in FL might not be mappable to a logic that is more restricted.
>
> 4. Appropriate tools and methodologies shall be defined to
> perform the translations, check whether certain translations
> are possible, and assist in any conversions that may be
> required for cases in which full mappings are not possible.
>
> 6. Interchange formats among FL and other notations shall be
> defined that are efficient for computer processing, storage,
> and transmission and that can be accommodated by both legacy
> systems and any new technology that may be developed.
Is there an implicit requirement that functions play a role in the FL at least as important as entities?
Rick