3 citations · 22 across the 56 of their papers we have counts for
1 paper · 2 filters
P. L. Robinson
For formulas of the Implicational Propositional Calculus (IPC) that are theorems of the classical Propositional Calculus (PC) we show that PC proofs yield IPC proofs. As a conseque…