ELBOW ROOM

This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.

1. I very much like the idea of blogging chapters of the technical books one is reading. Think it’s really useful to the community. I should try it sometime. Meanwhile for a very short intro to FOL, including the interpolation result, see Reiter’s 2001 knowledge in action book.

   Avigad MLC — 5: More on FOL - Logic Matters

   [latexpage]Following on from the interesting Chapter 6 on cut-elimination, there’s one further chapter on FOL, Chapter 7 on “Properties of F

   Logic Matters
   Jan. 15, 2023