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 |
QBF.Morphism
Description
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
Instances
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