Contents
Index
logic-classes-1.5.3: Framework for propositional and first order logic, theorem proving
A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
:
!
.
<
=
?
|
All
Index - I
ifElse
Data.Logic.Classes.Constants
Iff
1 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.FirstOrder
2 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.Propositional
image
Data.Logic.Harrison.Lib
Imp
1 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.FirstOrder
2 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.Propositional
ImplicativeForm
Data.Logic.Normal.Implicative
implicativeNormalForm
Data.Logic.Normal.Implicative
Imply
Data.Logic.Instances.Chiou
inconsistant
Data.Logic.Satisfiable
inconsistantKB
Data.Logic.KnowledgeBase
INF
Data.Logic.Normal.Implicative
InfixL
Data.Logic.Classes.Pretty
InfixN
Data.Logic.Classes.Pretty
InfixR
Data.Logic.Classes.Pretty
intern
Data.Logic.Types.FirstOrderPublic
Invalid
Data.Logic.KnowledgeBase
invalid
Data.Logic.Satisfiable
invLiteral
Data.Boolean
,
Data.Boolean.SatSolver
isPositiveLiteral
Data.Boolean
,
Data.Boolean.SatSolver
isRename
Data.Logic.Classes.Atom
isRenameOfAtomEq
Data.Logic.Resolution
isSkolem
Data.Logic.Classes.Skolem
isSolvable
Data.Boolean.SatSolver
isSolved
Data.Boolean.SatSolver