A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Computational Logic: Memories of the Past and Challenges for the Future
[chapter]
2000
Lecture Notes in Computer Science
The development of computational logic since the introduction of Frege's modern logic in 1879 is presented in some detail. The rapid growth of the field and its proliferation into a wide variety of subfields is noted and is attributed to a proliferation of subject matter rather than to a proliferation of logic itself. Logic is stable and universal, and is identified with classical first order logic. Other logics are here considered to be first order theories, syntactically sugared in
doi:10.1007/3-540-44957-4_1
fatcat:jsmzjkrbancv3lutfe35mgpcba