Copyright	(c) Rene Wagner, Klaus Luettich, Uni Bremen 2005-2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (imports Logic)
Safe Haskell	None

SoftFOL.Logic_SoftFOL

Description

Instance of class Logic for SoftFOL.

Synopsis

Documentation

A dummy datatype for the LogicGraph and for identifying the right instances

Constructors

Instances

Show SoftFOL
Language SoftFOL
Sentences SoftFOL Sentence Sign SoftFOLMorphism SFSymbol
Comorphism SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
Logic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree
Syntax SoftFOL [TPTP] SFSymbol () ()
StaticAnalysis SoftFOL [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol ()