logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving

Index - C

 can Data.Logic.Harrison.Lib Clause Data.Boolean, Data.Boolean.SatSolver clauseNormalForm 1 (Function) Data.Logic.Classes.Propositional 2 (Function) Data.Logic.Normal.Clause clauseNormalForm' Data.Logic.Classes.Propositional clauseNormalFormAlt Data.Logic.Classes.Propositional clauseNormalFormAlt' Data.Logic.Classes.Propositional ClauseNormalFormula Data.Logic.Classes.ClauseNormalForm clauses Data.Logic.Classes.ClauseNormalForm CNF 1 (Type/Class) Data.Boolean, Data.Boolean.SatSolver 2 (Data Constructor) Data.Logic.Instances.Chiou cnf Data.Logic.Harrison.Prop cnf' Data.Logic.Harrison.Prop cnfTrace Data.Logic.Normal.Clause Combinable Data.Logic.Classes.Combine Combination Data.Logic.Classes.Combine Combine 1 (Data Constructor) Data.Logic.Types.Propositional 2 (Data Constructor) Data.Logic.Types.FirstOrder combine Data.Logic.Classes.Combine, Data.Logic.Classes.Propositional ConjunctiveNormalForm Data.Logic.Instances.Chiou Connective 1 (Type/Class) Data.Logic.Instances.Chiou 2 (Data Constructor) Data.Logic.Instances.Chiou consequent 1 (Function) Data.Logic.Harrison.Formulas.Propositional 2 (Function) Data.Logic.Harrison.Formulas.FirstOrder Constants Data.Logic.Classes.Constants contrapositives Data.Logic.Harrison.Meson convert Data.Logic.Tests.HUnit convertFOF Data.Logic.Classes.FirstOrder convertProp Data.Logic.Classes.Propositional convertTerm Data.Logic.Classes.Term CTerm Data.Logic.Instances.Chiou