Syntax of First-order Languages

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


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.


Induction Hypothesis Function Symbol Deduction System Atomic Formula Predicate Symbol 
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.

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