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

QBF.Logic_QBF

Description

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.

http://www.voronkov.com/lics.cgi

Synopsis

Documentation

data QBF

Lid for propositional logic

Constructors

QBF

Instances

Show QBF
Language QBF
Sentences QBF FORMULA Sign Morphism Symbol	Instance of Sentences for propositional logic
Syntax QBF BASICSPEC Symbol SYMBITEMS SYMBMAPITEMS	Syntax of Propositional logic
StaticAnalysis QBF BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS 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
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