Intensional First-Order Logic
Download or Read eBook Intensional First-Order Logic PDF written by Zoran Majkic and published by Walter de Gruyter GmbH & Co KG. This book was released on 2022-09-06 with total page 425 pages. Available in PDF, EPUB and Kindle.
| Author | : Zoran Majkic |
| Publisher | : Walter de Gruyter GmbH & Co KG |
| Total Pages | : 425 |
| Release | : 2022-09-06 |
| ISBN-10 | : 9783110981469 |
| ISBN-13 | : 3110981467 |
| Rating | : 4/5 (69 Downloads) |
Book Synopsis Intensional First-Order Logic by : Zoran Majkic
Book excerpt: This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extension allows for intensional semantics to be used for concepts, thus affording new and more intelligent IT systems. Insofar as it is conservative, it preserves software applications and constitutes a fundamental advance relative to the current RDB databases, Big Data with NewSQL, Constraint databases, P2P systems, and Semantic Web applications. Moreover, the many-valued version of IFOL can support the AI applications based on many-valued logics.
