Intensional First-Order Logic: From AI to New SQL Big Data 9783110981438, 9783110994940

This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order

200 65 68MB

English Pages 542 Year 2022

Report DMCA / Copyright

DOWNLOAD EPUB FILE

Intensional First-Order Logic: From AI to New SQL Big Data
 9783110981438, 9783110994940

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers