Intensional First-Order Logic
Description
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.
More details
Other editions
Additional editions
Person
Dr Zoran Majkic
He has published more than 80 papers in computer and intelligent systems (see my DBLP record https://dblp.org/pid/66/4092.html ), and two books in Computer Science: 1. Soft Computing Applications in Industry, Copyright © 2008, Springer-Verlag , 386p. ISBN 978-3-540-77465-5, 2. Big Data Integration Theory, Copyright © 2014, XX, Springer-Verlag , 516p. ISBN 978-3-319-04155-1 February 10, 2014 This second book obtained in 2021 four achievements 1. Best book in Database Theory of all times, 2. Best Big Data book of all times 3. Best Computer Science e-Book of all times 4. Best Database Schema book of all times More about my research and academic activities and publishing you can find at my Homepage https://zoranmajkic.webs.com/
Content
- Intro
- Preface
- Acknowledgments
- Dependencies between the chapters
- Notation conventions
- Contents
- 1 Theory of new intensional first-order logic
- 2 Applications of the intensional abstraction operator
- 3 Intensional semantics for P2P database systems
- 4 Intensional RDB manifesto: flexible big data and NewSQL
- 5 Theory of many-valued intensional first-order logic
- 6 Applications of many-valued intensional first-order logic
- A Appendix
- Bibliography
- Index
