Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.paragraph.RuleDeclaration

Packages that use RuleDeclaration
com.meyling.principia.logic.rule   
com.meyling.principia.module   
 

Uses of RuleDeclaration in com.meyling.principia.logic.rule
 

Methods in com.meyling.principia.logic.rule with parameters of type RuleDeclaration
static void LeftAdditionConjunction.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void RenameFreeSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void ConjunctionRule.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void SubstLine.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void ReplacePropositionVariable.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void ReverseImplication.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void RightAddition.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void AddSentence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void LeftAddition.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void RightAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void LeftAdditionImplication.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void ReplacePredicateVariable.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void RenameBoundSubjectVariable.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void AddAxiom.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void Generalization.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void Particularization.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void ApplySentence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void ApplyAxiom.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void HypotheticalSyllogism.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void ReverseAbbreviation.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void ElementaryEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void UseAbbreviation.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void RightAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void LeftAdditionEquivalence.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
static void ModusPonens.checkDeclaration(Module module, RuleDeclaration declaration)
          Check this rule could be declared.
static void RightAdditionConjunction.checkDeclaration(Module module, RuleDeclaration declaration)
          Check if this rule could be declared.
 

Uses of RuleDeclaration in com.meyling.principia.module
 

Methods in com.meyling.principia.module that return RuleDeclaration
 RuleDeclaration Module.getRuleDeclaration(Class rule)
          Get the declaration for a rule.
 RuleDeclaration Module.getRuleDeclaration(String ruleLabel)
          Get the declaration for a rule.
 

Methods in com.meyling.principia.module with parameters of type RuleDeclaration
 void Module.addRuleDeclaration(String ruleLabel, RuleDeclaration declaration, Module module)
          Declare a new rule.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.