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