PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras. (Index - A)

PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras.

A
B
C
D
E
F
I
J
L
M
N
O
P
R
S
T
U
V
W
X
Z
All

Index - A

A	PropLogicCore, PropLogic
allDirectSubfalsifiers	DefaultPropLogic, PropLogic
allDirectSubvalidators	DefaultPropLogic, PropLogic
allPairs	FastPropLogic, PropLogic
allValuators	DefaultPropLogic, PropLogic
appleBasketDistribution	PropLogicTest, PropLogic
apply	DefaultPropLogic, PropLogic
at	PropLogicCore, PropLogic
atomForm	FastPropLogic, PropLogic
atoms	PropLogicCore, PropLogic
atomSize	DefaultPropLogic, PropLogic
averageLineLength	PropLogicTest, PropLogic
axiom_criterion_for_equivalence	PropLogicTest, PropLogic
axiom_reflexivity_of_subvalence	PropLogicTest, PropLogic
axiom_transitivity_of_subvalence	PropLogicTest, PropLogic