Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityexperimental
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

THF.Sublogic

Description

Sublogics for THF

Documentation

data THFCoreSl

Constructors

THF 
THFP 
THF0 

Instances

data THFSl

Constructors

THFSl 

Fields

core :: THFCoreSl
 
ext_Poly :: Bool
 

Instances

Eq THFSl 
Data THFSl 
Ord THFSl 
Show THFSl 
ShATermConvertible THFSl 
SublogicName THFSl 
SemiLatticeWithTop THFSl 
Typeable * THFSl 
ProjectSublogicM THFSl () 
ProjectSublogicM THFSl SymbolTHF 
ProjectSublogic THFSl BasicSpecTHF 
ProjectSublogic THFSl SignTHF 
ProjectSublogic THFSl MorphismTHF 
MinSublogic THFSl () 
MinSublogic THFSl DefinedType 
MinSublogic THFSl THFUnaryConnective 
MinSublogic THFSl THFPairConnective 
MinSublogic THFSl Quantifier 
MinSublogic THFSl THFQuantifier 
MinSublogic THFSl THFSequent 
MinSublogic THFSl THFAtom 
MinSublogic THFSl THFBinaryType 
MinSublogic THFSl THFUnitaryType 
MinSublogic THFSl THFTopLevelType 
MinSublogic THFSl THFSubType 
MinSublogic THFSl THFTypeableFormula 
MinSublogic THFSl THFTypeFormula 
MinSublogic THFSl THFTypedConst 
MinSublogic THFSl THFVariable 
MinSublogic THFSl THFQuantifiedFormula 
MinSublogic THFSl THFUnitaryFormula 
MinSublogic THFSl THFBinaryTuple 
MinSublogic THFSl THFBinaryFormula 
MinSublogic THFSl THFLogicFormula 
MinSublogic THFSl THFFormula 
MinSublogic THFSl Kind 
MinSublogic THFSl Type 
MinSublogic THFSl SymbolTHF 
MinSublogic THFSl BasicSpecTHF 
MinSublogic THFSl SignTHF 
MinSublogic THFSl MorphismTHF 
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 

joinCoreSl :: THFCoreSl -> THFCoreSl -> THFCoreSl

joinSL :: THFSl -> THFSl -> THFSl

tHF0 :: THFSl

tHF :: THFSl

tHFP :: THFSl

tHF0_P :: THFSl

tHF_P :: THFSl

tHFP_P :: THFSl

sublogics_all :: [THFSl]