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.Prop2CommonLogic

Description

The translating comorphism from Propositional to CommonLogic.

Synopsis

Documentation

data Prop2CommonLogic Source #

lid of the morphism

Constructors

Prop2CommonLogic 

Instances

Show Prop2CommonLogic Source # 

Methods

showsPrec :: Int -> Prop2CommonLogic -> ShowS

show :: Prop2CommonLogic -> String

showList :: [Prop2CommonLogic] -> ShowS

Language Prop2CommonLogic Source # 
Comorphism Prop2CommonLogic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source #