Package org.qedeq.kernel.bo.logic.proof.checker

This package enables to check proofs with the basic rules.

See:
Description

Interface Summary

BasicProofErrors

Error codes and messages for proof checker.

Class Summary

ProofChecker0Impl	Formal proof checker that don't allow any proof method.
ProofChecker1Impl	Formal proof checker for basic rules.
ProofChecker2Impl	Formal proof checker for basic rules and conditional proof.

Exception Summary

ProofCheckException

This is an exception for formal proof errors within a QEDEQ module.

Package org.qedeq.kernel.bo.logic.proof.checker Description

This package enables to check proofs with the basic rules.