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

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

shorten	Logic.Judge.Prover.Tableau
simplify	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
singleton	Logic.Judge.PointedList
size	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Static	Logic.Judge.Prover.Tableau
StaticTerms	Logic.Judge.Prover.Tableau
Substitutable	Logic.Judge.Formula.Substitution
substitute	Logic.Judge.Formula.Substitution
Substitution	Logic.Judge.Formula.Substitution
Subterm	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
subterms	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
Success	Logic.Judge.Prover.Tableau
suffix	Logic.Judge.PointedList
Sum	Logic.Judge.Formula.Datastructure, Logic.Judge.Formula