Contents
Index
logic-classes-1.5.1: 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 - F
F
1 (Data Constructor)
Data.Logic.Types.Propositional
2 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.FirstOrder
3 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.Propositional
Failing
Data.Logic.Failing
failing
Data.Logic.Failing
Failure
Data.Logic.Failing
false
Data.Logic.Classes.Constants
fApp
Data.Logic.Classes.Term
FirstOrderFormula
Data.Logic.Classes.FirstOrder
Fixity
1 (Data Constructor)
Data.Logic.Classes.Pretty
2 (Type/Class)
Data.Logic.Classes.Pretty
fixity
Data.Logic.Classes.Pretty
FixityDirection
Data.Logic.Classes.Pretty
fixityFirstOrder
Data.Logic.Classes.FirstOrder
fixityPropositional
Data.Logic.Classes.Propositional
flatten
Data.Logic.Instances.PropLogic
Fn
Data.Logic.Types.Harrison.FOL
FName
Data.Logic.Types.Harrison.FOL
FOL
Data.Logic.Types.Harrison.FOL
foldApply
Data.Logic.Classes.Apply
foldAtomEq
Data.Logic.Classes.Equals
foldAtoms
Data.Logic.Classes.Formula
foldAtomsFirstOrder
Data.Logic.Classes.FirstOrder
foldAtomsLiteral
Data.Logic.Classes.Literal
foldAtomsPropositional
Data.Logic.Classes.Propositional
foldFirstOrder
Data.Logic.Classes.FirstOrder
foldLiteral
Data.Logic.Classes.Literal
foldNegation
Data.Logic.Classes.Negate
foldPropositional
Data.Logic.Classes.Propositional
foldTerm
Data.Logic.Classes.Term
foldTerms
Data.Logic.Classes.Atom
FOLEQ
Data.Logic.Types.Harrison.Equal
ForAll
Data.Logic.Instances.Chiou
Forall
1 (Data Constructor)
Data.Logic.Classes.FirstOrder
2 (Data Constructor)
Data.Logic.Types.Harrison.Formulas.FirstOrder
Formula
1 (Type/Class)
Data.Logic.Classes.Formula
2 (Type/Class)
Data.Logic.Types.Propositional
3 (Type/Class)
Data.Logic.Types.Harrison.Formulas.FirstOrder
4 (Type/Class)
Data.Logic.Types.Harrison.Formulas.Propositional
5 (Type/Class)
Data.Logic.Types.FirstOrder
6 (Type/Class)
Data.Logic.Types.FirstOrderPublic
7 (Data Constructor)
Data.Logic.Types.FirstOrderPublic
for_all
Data.Logic.Classes.FirstOrder
for_all'
Data.Logic.Classes.FirstOrder
fpf
Data.Logic.Harrison.Lib
freeVariables
Data.Logic.Classes.Atom
fromAtomEq
Data.Logic.Classes.Equals
fromBool
Data.Logic.Classes.Constants
fromFirstOrder
Data.Logic.Classes.FirstOrder
fromLiteral
Data.Logic.Classes.FirstOrder
fromSentence
Data.Logic.Instances.Chiou
fullUnify
Data.Logic.Harrison.Unif
FunApp
Data.Logic.Types.FirstOrder
funcs
Data.Logic.Classes.Term
funcsAtomEq
Data.Logic.Classes.Equals
Function
1 (Type/Class)
Data.Logic.Classes.Term
2 (Type/Class)
Data.Logic.Types.Harrison.FOL
3 (Data Constructor)
Data.Logic.Instances.Chiou
functions
Data.Logic.Harrison.Skolem
functions'
Data.Logic.Harrison.Equal
function_congruence
Data.Logic.Harrison.Equal
fv
Data.Logic.Harrison.FOL
fvt
Data.Logic.Classes.Term