Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.