Hierarchy For Package org.episteme.core.mathematics.logic.proof

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.episteme.core.mathematics.logic.proof.EqualityRule (implements org.episteme.core.mathematics.logic.proof.InferenceRule)
  • org.episteme.core.mathematics.logic.proof.HypotheticalSyllogism (implements org.episteme.core.mathematics.logic.proof.InferenceRule)
  • org.episteme.core.mathematics.logic.proof.ModusPonens (implements org.episteme.core.mathematics.logic.proof.InferenceRule)
  • org.episteme.core.mathematics.logic.proof.ModusTollens (implements org.episteme.core.mathematics.logic.proof.InferenceRule)
  • org.episteme.core.mathematics.logic.proof.Proof
  • org.episteme.core.mathematics.logic.proof.ProofStep
  • org.episteme.core.mathematics.logic.proof.ProofVerifier

Interface Hierarchy

• org.episteme.core.mathematics.logic.proof.InferenceRule