Advertisement

Purely Implicational Logic

  • Evert W. Beth
Chapter
Part of the Synthese Library book series (SYLI, volume 4)

Abstract

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.

Keywords

Formal 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1962

Authors and Affiliations

  • Evert W. Beth

There are no affiliations available

Personalised recommendations