Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
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

Temporal.Sign

Description

 

Synopsis

Documentation

newtype Sign

Datatype for propositional Signatures Signatures are just sets

Constructors

Sign 

Fields

items :: Set Id
 

Instances

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?