Purely Implicational Logic
Part of the Synthese Library book series (SYLI, volume 4)
Logic can be characterised as a theory of inference. In the present book we shall be concerned in particular with deductive inference, which plays such an important rôle in mathematics.
KeywordsFormal Method Reduction Schema Modus Ponens Conclusion Versus Closure Schema
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© D. Reidel Publishing Company, Dordrecht, Holland 1962