Uses of Package com.meyling.principia.logic.basic (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Package
com.meyling.principia.logic.basic

Packages that use com.meyling.principia.logic.basic
com.meyling.principia.logic.basic |
com.meyling.principia.logic.paragraph |
com.meyling.principia.logic.rule |
com.meyling.principia.module |

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.basic
AbstractFormula From this abstract implementation of Formula each non abstract Formula must inherit from.
BasicPatternVariable Pattern variable, for matching purposes.
Formula This interface tells us about the methods a Formula must have.
LogicalOperatorWithTwoFormulas LogicalOperatorWithTwoFormulas of formulas.
PropositionVariable Represents an arbitrary logical proposition.
PropositionVariables Set of proposition variables.
Quantifier Basis class for Quantifier.
SubjectVariable Subject variable, represents a subject of the universe of discourse.
SubjectVariableMarker Implementions of this marker interface are threated as subject variables.
SubjectVariables Set of subject variables.

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.paragraph
BasicConstants This interface provides constants of this package.

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.rule
BasicConstants This interface provides constants of this package.
Formula This interface tells us about the methods a Formula must have.

Classes in com.meyling.principia.logic.basic used by com.meyling.principia.module
BasicConstants This interface provides constants of this package.
Formula This interface tells us about the methods a Formula must have.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.