Uses of Class
jtp.proof.ModusPonensInference

Packages that use ModusPonensInference

jtp.proof

Classes supporting JTP's implementation of InferenceWeb proofs.

Uses of ModusPonensInference in jtp.proof

Fields in jtp.proof declared as ModusPonensInference

static ModusPonensInference

ModusPonensInference.instance