Copyright	(c) A. Tsogias, DFKI Bremen 2011 (c) Jonathan von Schroeder, DFKI Bremen 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Jonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stability	provisional
Portability	non-portable (imports Logic)
Safe Haskell	None

THF.Logic_THF

Description

Instance of class Logic for THF.

Documentation

data THF

Constructors

Instances

Show THF
Language THF
Sentences THF THFFormula SignTHF MorphismTHF SymbolTHF
Syntax THF BasicSpecTHF SymbolTHF () ()
StaticAnalysis THF BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF ()
Logic THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism THFP2THF0 THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism THFP_P2THFP THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism THFP_P2HasCASL THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism HasCASL2THFP_P HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree