First-Order Logics

  • Oleg M. AnshakovEmail author
  • Tamás Gergely
Part of the Cognitive Technologies book series (COGTECH)


In this chapter we introduce the first-order logics that correspond to the propositional ones discussed in the previous section. We will consider many-sorted firstorder logics where many-sortedness is significant for the applications further to be discussed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.Intelligent Systems DepartmentInstitute for Linguistics, Russian State University for the HumanitiesMoscowRussia
  2. 2.Applied Logic LaboratoryBudapestHungary

Personalised recommendations