Syntax of First-order Languages

  • Rolf Socher-Ambrosius
  • Patricia Johann
Part of the Graduate Texts in Computer Science book series (TCS)

Abstract

In this section the formal syntax of first-order logic is defined. As for any natural or artificial language, we require on the one hand an alphabet on which the language is based, and on the other a grammar according to which sentences in the language are constructed.

Keywords

Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York, Inc. 1997

Authors and Affiliations

  • Rolf Socher-Ambrosius
    • 1
  • Patricia Johann
    • 2
  1. 1.FB Elektrotechnik und InformatikFachhochschule OstfrieslandEmdenGermany
  2. 2.Pacific Software Research CenterOregon Graduate InstituteBeavertonUSA

Personalised recommendations