Copyright | (c) Jonathan von Schroeder DFKI GmbH 2010 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | <jonathan.von_schroeder@dfki.de> |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

Definition of morphisms for propositional logic copied to Temporal.Morphism 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.

- data Morphism = Morphism {}
- pretty :: Pretty a => a -> Doc
- idMor :: Sign -> Morphism
- isLegalMorphism :: Morphism -> Result ()
- composeMor :: Morphism -> Morphism -> Result Morphism
- inclusionMap :: Sign -> Sign -> Morphism
- mapSentence :: Morphism -> FORMULA -> Result FORMULA
- mapSentenceH :: Morphism -> FORMULA -> FORMULA
- applyMap :: Map Id Id -> Id -> Id
- applyMorphism :: Morphism -> Id -> Id
- morphismUnion :: Morphism -> Morphism -> Result Morphism

# Documentation

The datatype for morphisms in propositional logic as maps of sets

Eq Morphism Source # | |

Data Morphism Source # | |

Ord Morphism Source # | |

Show Morphism Source # | |

Pretty Morphism Source # | |

Sentences QBF FORMULA Sign Morphism Symbol Source # | Instance of Sentences for propositional logic |

StaticAnalysis QBF BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol Source # | Static Analysis for propositional logic |

Logic QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree Source # | Instance of Logic for propositional logc |

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 Source # | |

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 Source # | |

isLegalMorphism :: Morphism -> Result () Source #

Determines whether a morphism is valid

composeMor :: Morphism -> Morphism -> Result Morphism Source #

Composition of morphisms in propositional Logic