An arguable addition to the standard Deduction Theorems of first order theories
arXiv:math/0502502
Abstract
We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.
9 pages; an HTML version is available at http://alixcomsi.com/An_arguable_addition.htm