First-Order Logics

Oleg M. Anshakov; Tamás Gergely

doi:10.1007/978-3-540-68875-4_8

Cognitive Reasoning pp 93-123 | Cite as

First-Order Logics

Authors
Authors and affiliations

Oleg M. Anshakov
Tamás Gergely

Chapter

First Online: 25 November 2009

1.1k Downloads

Part of the Cognitive Technologies book series (COGTECH)

Abstract

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.

This is a preview of subscription content, to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

Authors and Affiliations

Oleg M. Anshakov
- 1
Email author
Tamás Gergely
- 2

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

About this chapter

Cite this chapter as:: Anshakov O.M., Gergely T. (2010) First-Order Logics. In: Cognitive Reasoning. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68875-4_8

First Online 25 November 2009
DOI https://doi.org/10.1007/978-3-540-68875-4_8
Publisher Name Springer, Berlin, Heidelberg
Print ISBN 978-3-540-43058-2
Online ISBN 978-3-540-68875-4
eBook Packages Computer Science Computer Science (R0)

Personalised recommendations

Instant download
Readable on all devices
Own it forever
Local sales tax included if applicable

Buy Physical Book

First-Order Logics

Abstract

Preview

Copyright information

Authors and Affiliations

Personalised recommendations

Cite chapter