Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking

Abstract

this paper the history mechanism is developed in two ways and applied t