Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellSafe-Inferred

Propositional.Sublogic

Description

Sublogics for Propositional Logic

Synopsis

Documentation

sl_basic_spec :: PropSL -> BASIC_SPEC -> PropSL

determines sublogic for basic spec

data PropFormulae

types of propositional formulae

Constructors

PlainFormula 
HornClause 

Instances

data PropSL

sublogics for propositional logic

Constructors

PropSL 

Fields

format :: PropFormulae
 

Instances

Eq PropSL 
Data PropSL 
Ord PropSL 
Show PropSL 
ShATermConvertible PropSL 
SublogicName PropSL 
SemiLatticeWithTop PropSL

Sublogics

Typeable * PropSL 
ProjectSublogicM PropSL SYMB_MAP_ITEMS 
ProjectSublogicM PropSL SYMB_ITEMS 
ProjectSublogicM PropSL FORMULA 
ProjectSublogicM PropSL Symbol 
ProjectSublogic PropSL Sign 
ProjectSublogic PropSL BASIC_SPEC 
ProjectSublogic PropSL Morphism 
MinSublogic PropSL Sign 
MinSublogic PropSL SYMB_MAP_ITEMS 
MinSublogic PropSL SYMB_ITEMS 
MinSublogic PropSL FORMULA 
MinSublogic PropSL BASIC_SPEC 
MinSublogic PropSL Morphism 
MinSublogic PropSL Symbol 
Logic Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree

Instance of Logic for propositional logc

Comorphism QBF2Prop QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree 
Comorphism Prop2QBF Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree 
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 
Comorphism Propositional2OWL2 Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree 
Comorphism Prop2CASL Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree 
Comorphism CASL2Prop CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree 

sublogics_max :: PropSL -> PropSL -> PropSL

top :: PropSL

bottom :: PropSL

sublogics_all :: [PropSL]

all sublogics

sublogics_name :: PropSL -> String

sl_sig :: PropSL -> Sign -> PropSL

determines the sublogic for a Signature

sl_form :: PropSL -> FORMULA -> PropSL

determines sublogic for formula

sl_sym :: PropSL -> Symbol -> PropSL

determines the sublogic for symbols

sl_symit :: PropSL -> SYMB_ITEMS -> PropSL

determines the sublogic for Symbol items

sl_mor :: PropSL -> Morphism -> PropSL

determines the sublogic for a morphism

sl_symmap :: PropSL -> SYMB_MAP_ITEMS -> PropSL

determines the sublogic for symbol map items

prSymbolM :: PropSL -> Symbol -> Maybe Symbol

prSig :: PropSL -> Sign -> Sign

prMor :: PropSL -> Morphism -> Morphism

prSymMapM :: PropSL -> SYMB_MAP_ITEMS -> Maybe SYMB_MAP_ITEMS

prSymM :: PropSL -> SYMB_ITEMS -> Maybe SYMB_ITEMS

prFormulaM :: PropSL -> FORMULA -> Maybe FORMULA

prBasicSpec :: PropSL -> BASIC_SPEC -> BASIC_SPEC

isProp :: PropSL -> Bool

isHC :: PropSL -> Bool