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

PropLogic-0.9.0.1: 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 - C

CanonPerformance	PropLogicTest, PropLogic
CaseSymbol	FastPropLogic, PropLogic
caseSymbol	FastPropLogic, PropLogic
CJ	PropLogicCore, PropLogic
CJ_	PropLogicTest, PropLogic
CNF	DefaultPropLogic, PropLogic
cnfToValuatorList	DefaultPropLogic, PropLogic
coatomic	PropLogicCore, PropLogic
conj	PropLogicCore, PropLogic
contradictory	PropLogicCore, PropLogic
coprimeValuators	DefaultPropLogic, PropLogic
correctMultiTruthTable	DefaultPropLogic, PropLogic
correctTruthTable	DefaultPropLogic, PropLogic
correctValuator	DefaultPropLogic, PropLogic
covalent	PropLogicCore, PropLogic
cPrime	FastPropLogic, PropLogic
cPrimes	FastPropLogic, PropLogic