Copyright	(c) Dominik Luecke, Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	experimental
Portability	portable 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 Haskell	Safe-Inferred

Propositional.Sign

Description

Synopsis

Documentation

newtype Sign

Datatype for propositional Signatures Signatures are just sets

Constructors

Sign
Fields items :: Set Id

Instances

Eq Sign
Data Sign
Ord Sign
Show Sign
ShATermConvertible Sign
ShATermConvertible Sign
Pretty Sign
Typeable * Sign
ProjectSublogic PropSL Sign
ProjectSublogic QBFSL Sign
MinSublogic PropSL Sign
MinSublogic QBFSL Sign
Category Sign Morphism	Instance of Category for propositional logic
Category Sign Morphism	Instance of Category for propositional logic
Sentences QBF FORMULA Sign Morphism Symbol	Instance of Sentences for propositional logic
Sentences Propositional FORMULA Sign Morphism Symbol	Instance of Sentences for propositional logic
StaticAnalysis QBF BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol	Static Analysis for propositional logic
StaticAnalysis Propositional BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol	Static Analysis for propositional logic
Logic QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree	Instance of Logic for propositional logc
Logic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree	Instance of Logic for propositional logc
Comorphism QBF2Prop QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2QBF Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Comorphism Propositional2OWL2 Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree
Comorphism Prop2CASL Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism CASL2Prop CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

id2SimpleId :: Id -> Token

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?