Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa and Uni Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.SoftFOL2CommonLogic

Description

The translating comorphism from SoftFOL to CommonLogic.

Synopsis

Documentation

data SoftFOL2CommonLogic Source #

lid of the morphism

Constructors

SoftFOL2CommonLogic 

Instances

Show SoftFOL2CommonLogic Source # 

Methods

showsPrec :: Int -> SoftFOL2CommonLogic -> ShowS

show :: SoftFOL2CommonLogic -> String

showList :: [SoftFOL2CommonLogic] -> ShowS

Language SoftFOL2CommonLogic Source # 
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 Source #