Description

Book Synopsis

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.

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

    Product form

    £129.67

    Includes FREE delivery

    RRP £136.50 – you save £6.83 (5%)

    Order before 4pm tomorrow for delivery by Wed 17 Jun 2026.

    A Hardback by Zoran Majkic

    15 in stock


      View other formats and editions of Intensional First-Order Logic: From AI to New SQL Big Data by Zoran Majkic

      Publisher: De Gruyter
      Publication Date: 06/09/2022
      ISBN13: 9783110994940, 978-3110994940
      ISBN10:

      Description

      Book Synopsis

      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account