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

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

Choose	Logic.Judge.Prover.Tableau
Classical	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Closure	Logic.Judge.Prover.Tableau
combinations	Logic.Judge.Prover.Tableau
comments	Logic.Judge.Formula.Parser, Logic.Judge.Formula
Compositor	Logic.Judge.Prover.Tableau
compositor	Logic.Judge.Prover.Tableau
Conjunction	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Constant	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Constraint	Logic.Judge.Prover.Tableau
constraint	Logic.Judge.Prover.Tableau
consumptions	Logic.Judge.Prover.Tableau
contextMap	Logic.Judge.PointedList
counter	Logic.Judge.Prover.Tableau
current	Logic.Judge.PointedList