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

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 - I

identifier	Logic.Judge.Formula.Parser, Logic.Judge.Formula
Implication	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
inactives	Logic.Judge.Prover.Tableau
index	Logic.Judge.PointedList
initial	Logic.Judge.Prover.Tableau
insert	Logic.Judge.PointedList
insertAll	Logic.Judge.PointedList
insertLeft	Logic.Judge.PointedList
insertRight	Logic.Judge.PointedList
Intersection	Logic.Judge.Prover.Tableau
intersection	Logic.Judge.Prover.Tableau
isAtomary	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
isConstant	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
isExtension	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
isFormula	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
isMarkedFormula	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
isVariable	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula