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

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | jonathan.von_schroeder@dfki.de |

Stability | experimental |

Portability | non-portable (imports Logic.Logic) |

Safe Haskell | None |

Instance of class Logic for the propositional logic extended with QBFs Also the instances for Syntax and Category.

Ref.

http://en.wikipedia.org/wiki/Propositional_logic

Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki. What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113-133. Birkhaeuser. 2005.

# Documentation

Lid for propositional logic

Show QBF Source # | |

Language QBF Source # | |

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

Syntax QBF BASICSPEC Symbol SYMBITEMS SYMBMAPITEMS Source # | Syntax of 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 # | |

# Orphan instances

Monoid BASICSPEC Source # | |

SublogicName QBFSL Source # | |

SemiLatticeWithTop QBFSL Source # | Sublogics |

ProjectSublogicM QBFSL SYMBMAPITEMS Source # | |

ProjectSublogicM QBFSL SYMBITEMS Source # | |

ProjectSublogicM QBFSL FORMULA Source # | |

ProjectSublogicM QBFSL Symbol Source # | |

ProjectSublogic QBFSL Sign Source # | |

ProjectSublogic QBFSL BASICSPEC Source # | |

ProjectSublogic QBFSL Morphism Source # | |

MinSublogic QBFSL Sign Source # | |

MinSublogic QBFSL SYMBMAPITEMS Source # | |

MinSublogic QBFSL SYMBITEMS Source # | |

MinSublogic QBFSL FORMULA Source # | |

MinSublogic QBFSL BASICSPEC Source # | |

MinSublogic QBFSL Morphism Source # | |

MinSublogic QBFSL Symbol Source # | |

Category Sign Morphism Source # | Instance of Category for propositional logic |