|
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.basicAbstractFormula
|
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.paragraphBasicConstants
|
This interface provides constants of this package. |
Classes in com.meyling.principia.logic.basic used by com.meyling.principia.logic.ruleBasicConstants
|
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.moduleBasicConstants
|
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. |