OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-ure / tests / ure / rules

ref:
..
bc-deduction-rule.scm 1.8 KiB
closed-lambda-introduction-rule.scm 1.9 KiB
conditional-direct-evaluation.scm 3.9 KiB
crisp-deduction-rule.scm 2.1 KiB
crisp-modus-ponens-rule.scm 1.9 KiB
evidence-based-conditional-direct-evaluation.scm 1023 B
fc-deduction-rule.scm 2.4 KiB
fuzzy-conjunction-introduction-rule.scm 3.8 KiB
implication-and-lambda-factorization-rule.scm 3.0 KiB
implication-instantiation-rule.scm 7.6 KiB
implication-introduction-rule.scm 2.3 KiB
implication-scope-direct-evaluation-rule.scm 4.3 KiB
implication-scope-to-implication-rule.scm 1.9 KiB
instantiation.scm 3.1 KiB
intensional-inheritance-direct-introduction.scm 5.1 KiB
pln-implication-and-lambda-factorization-rule.scm 2.9 KiB
unary-specialization-rule.scm 1.8 KiB