Uses of Package
org.episteme.core.mathematics.logic.proof

Packages that use org.episteme.core.mathematics.logic.proof

Package	Description
org.episteme.core.mathematics.logic.proof
org.episteme.social.philosophy	Provides support for philosophy, including formal logic, ethics, epistemology, and storytelling.

Classes in org.episteme.core.mathematics.logic.proof used by org.episteme.core.mathematics.logic.proof

Class	Description
InferenceRule	Interface for inference rules in formal logic.
Proof	Represents a formal proof consisting of a sequence of steps.
ProofStep	Represents a single step in a formal proof.

Classes in org.episteme.core.mathematics.logic.proof used by org.episteme.social.philosophy

Class	Description
Proof	Represents a formal proof consisting of a sequence of steps.