Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Portabilityportable Definition of signatures for propositional logic Ref. Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki. What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113-@133. Birkhaeuser. 2005.
Safe HaskellSafe-Inferred






newtype Sign

Datatype for propositional Signatures Signatures are just sets




items :: Set Id


Eq Sign 
Ord Sign 
Show Sign 
ShATermConvertible Sign 
Pretty Sign 
Typeable * Sign 
Category Sign Morphism

Instance of Category for temporal logic

Sentences Temporal FORMULA Sign Morphism Symbol

Instance of Sentences for temporal logic

StaticAnalysis Temporal BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol

Static Analysis for propositional logic

Logic Temporal () BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol ()

Instance of Logic for propositional logc

pretty :: Pretty a => a -> Doc

isLegalSignature :: Sign -> Bool

determines whether a signature is vaild all sets are ok, so glued to true

addToSig :: Sign -> Id -> Sign

Adds an Id to the signature

unite :: Sign -> Sign -> Sign

Union of signatures

emptySig :: Sign

The empty signature

isSubSigOf :: Sign -> Sign -> Bool

Determines if sig1 is subsignature of sig2

sigDiff :: Sign -> Sign -> Sign

difference of Signatures

sigUnion :: Sign -> Sign -> Result Sign

union of Signatures or do I have to care about more things here?