OpenMath Signatures


Type System: sts
Content Dictionary: logic1
CD Signature File: logic1.sts
CD Signature as XML Encoded OpenMath: logic1.omsts



Date:  1999-07-01
Author: David Carlisle


equivalent

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname2" name="Boolean"/>
    <OMS cd="setname2" name="Boolean"/>
    <OMS cd="setname2" name="Boolean"/>
 </OMA>
</OMOBJ>

( Boolean Boolean >> Boolean )

Content Dictionary Entry.


[Next: not] [Last: false] [Top]


not

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname2" name="Boolean"/>
    <OMS cd="setname2" name="Boolean"/>
 </OMA>
</OMOBJ>
( Boolean >> Boolean )

Content Dictionary Entry.


[Next: and] [Previous: equivalent] [Top]


and

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nassoc" cd="sts"/>
     <OMS cd="setname2" name="Boolean"/>
   </OMA>
  <OMS cd="setname2" name="Boolean"/>
 </OMA>
</OMOBJ>
( ( Boolean *assoc ) >> Boolean )

Content Dictionary Entry.


[Next: xor] [Previous: not] [Top]


xor

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nassoc" cd="sts"/>
     <OMS cd="setname2" name="Boolean"/>
    </OMA>
  <OMS cd="setname2" name="Boolean"/>
 </OMA>
</OMOBJ>
( ( Boolean *assoc ) >> Boolean )

Content Dictionary Entry.


[Next: or] [Previous: and] [Top]


or

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nassoc" cd="sts"/>
     <OMS cd="setname2" name="Boolean"/>
    </OMA>
  <OMS cd="setname2" name="Boolean"/>
 </OMA>
</OMOBJ>
( ( Boolean *assoc ) >> Boolean )

Content Dictionary Entry.


[Next: implies] [Previous: xor] [Top]


implies

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname2" name="Boolean"/>
    <OMS cd="setname2" name="Boolean"/>
    <OMS cd="setname2" name="Boolean"/>
 </OMA>
</OMOBJ>
( Boolean Boolean >> Boolean )

Content Dictionary Entry.


[Next: true] [Previous: or] [Top]


true

<OMOBJ>
 <OMS cd="setname2" name="Boolean"/>
</OMOBJ>
Boolean

Content Dictionary Entry.


[Next: false] [Previous: implies] [Top]


false

<OMOBJ>
 <OMS cd="setname2" name="Boolean"/>
</OMOBJ>
Boolean

Content Dictionary Entry.


[First: equivalent] [Previous: true] [Top]