Copyright | (c) Dominik Luecke Uni Bremen 2007 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | experimental |
Portability | non-portable (imports Logic.Logic) |
Safe Haskell | Safe |
Propositional.Sublogic
Description
Sublogics for Propositional Logic
- sl_basic_spec :: PropSL -> BASIC_SPEC -> PropSL
- data PropFormulae
- data PropSL = PropSL {}
- sublogics_max :: PropSL -> PropSL -> PropSL
- top :: PropSL
- bottom :: PropSL
- sublogics_all :: [PropSL]
- sublogics_name :: PropSL -> String
- sl_sig :: PropSL -> Sign -> PropSL
- sl_form :: PropSL -> FORMULA -> PropSL
- sl_sym :: PropSL -> Symbol -> PropSL
- sl_symit :: PropSL -> SYMB_ITEMS -> PropSL
- sl_mor :: PropSL -> Morphism -> PropSL
- sl_symmap :: PropSL -> SYMB_MAP_ITEMS -> PropSL
- 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
Documentation
sl_basic_spec :: PropSL -> BASIC_SPEC -> PropSL Source #
determines sublogic for basic spec
data PropFormulae Source #
types of propositional formulae
Constructors
PlainFormula | |
HornClause |
Instances
Eq PropFormulae Source # | |
Data PropFormulae Source # | |
Ord PropFormulae Source # | |
Show PropFormulae Source # | |
sublogics for propositional logic
Constructors
PropSL | |
Fields |
Instances
sublogics_all :: [PropSL] Source #
all sublogics
sublogics_name :: PropSL -> String Source #
sl_symmap :: PropSL -> SYMB_MAP_ITEMS -> PropSL Source #
determines the sublogic for symbol map items
prSymMapM :: PropSL -> SYMB_MAP_ITEMS -> Maybe SYMB_MAP_ITEMS Source #
prSymM :: PropSL -> SYMB_ITEMS -> Maybe SYMB_ITEMS Source #
prBasicSpec :: PropSL -> BASIC_SPEC -> BASIC_SPEC Source #