Hets - the Heterogeneous Tool Set
Copyright(c) Till Mossakowski Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellSafe

CommonLogic.PredefinedCASLAxioms

Description

Fixed CASL axioms needed for translation of CommonLogic to CASL

Synopsis

Documentation

list :: Id Source #

append :: Id Source #

cons :: Id Source #

nil :: Id Source #

individual :: Id Source #

x1 :: Token Source #

x2 :: Token Source #

y1 :: Token Source #

y2 :: Token Source #

nilTypeS :: OpType Source #

consTypeS :: OpType Source #

appendTypeS :: OpType Source #

nilType :: OP_TYPE Source #

consType :: OP_TYPE Source #

appendType :: OP_TYPE Source #

baseListAxioms :: [Named CASLFORMULA] Source #

brId :: Id Source #

listSig :: CASLSign Source #

setting casl sign: sorts, cons, nil, append

vx2 :: VAR_DECL Source #

vy1 :: VAR_DECL Source #

vy2 :: VAR_DECL Source #

tx1 :: TERM f Source #

tx2 :: TERM f Source #

ty1 :: TERM f Source #

ty2 :: TERM f Source #

consOp :: OP_SYMB Source #

nilOp :: OP_SYMB Source #

mkCons :: TERM f -> TERM f -> TERM f Source #

mkNil :: TERM f Source #

mkAppend :: TERM f -> TERM f -> TERM f Source #

ga_injective_cons :: Named CASLFORMULA Source #

ga_disjoint_nil_cons :: Named CASLFORMULA Source #

ga_nil_append :: Named CASLFORMULA Source #

ga_cons_append :: Named CASLFORMULA Source #

ga_generated_list :: Named CASLFORMULA Source #