Advertisement

Classical Logic—Syntax

  • Melvin Fitting
Part of the Trends in Logic book series (TREN, volume 12)

Abstract

The formulation of a higher-order logic allows some freedom—there are certain places where choices can be made. Several of these choices produce equivalent results. Before getting to the formal machinery, I informally set out my decisions on these matters. Other treatments may make different choices, but ultimately it is largely a matter of convenience that is involved.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Melvin Fitting
    • 1
  1. 1.Lehman College and the Graduate CenterCity University of New YorkUSA

Personalised recommendations