Definition talk:Johansson's Minimal Calculus
From ProofWiki
When you say principle of non-contradiction, do you mean Rule of Bottom-Elimination? --cynic 17:50, 27 July 2008 (UTC)
When you say principle of non-contradiction, do you mean Rule of Bottom-Elimination? --cynic 17:50, 27 July 2008 (UTC)