|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| ©left GNU General Public Licence All Rights Reserved. |