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

Index - J

juncArgsDefaultPropLogic, PropLogic
juncConsDefaultPropLogic, PropLogic
juncDegDefaultPropLogic, PropLogic
juncSizeDefaultPropLogic, PropLogic
JunctorSymbolPropLogicTest, PropLogic
JunctorWeightingPropLogicTest, PropLogic