judge-0.1.3.0: Tableau-based theorem prover for justification logic. (Index - P)

judge-0.1.3.0: Tableau-based theorem prover for justification logic.

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
X
:
_
All

Index - P

parse	Logic.Judge.Formula.Parser, Logic.Judge.Formula
Parseable	Logic.Judge.Formula.Parser, Logic.Judge.Formula
parser	Logic.Judge.Formula.Parser, Logic.Judge.Formula
parserEmbedded	Logic.Judge.Formula.Parser, Logic.Judge.Formula
pattern	Logic.Judge.Formula.Substitution
patternContinue	Logic.Judge.Formula.Substitution
Plain	Logic.Judge.Writer
plainprint	Logic.Judge.Writer
PointedList
1 (Data Constructor)	Logic.Judge.PointedList
2 (Type/Class)	Logic.Judge.PointedList
positions	Logic.Judge.PointedList
Possible	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Predicate	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
prefix	Logic.Judge.PointedList
pretty	Logic.Judge.Writer.Plain
prettyEmbedded	Logic.Judge.Writer.Plain
prettyprint	Logic.Judge.Writer
prettyRecursive	Logic.Judge.Writer.Plain
previous	Logic.Judge.PointedList
Primitive	Logic.Judge.Prover.Tableau
PrimitiveDynamicTerms	Logic.Judge.Prover.Tableau
PrimitiveStaticTerms	Logic.Judge.Prover.Tableau
Printable	Logic.Judge.Writer.Plain
Processed	Logic.Judge.Prover.Tableau
productions	Logic.Judge.Prover.Tableau
ProofChecker	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
ProofConstant	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
ProofVariable	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Proposition	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula