Return to Article Details On some Systems of Minimal Propositional Logic with Loop Detection Mechanisms Download Download PDF