Intensional First-Order Logic
Táto kniha predstavuje vlastnosti konzervatívnych rozšírení logiky prvého rádu (FOL) na novú intenzionálnu logiku prvého rádu (IFOL).
Toto rozšírenie umožňuje používať intencionálnu sémantiku pre pojmy, čím poskytuje nové a inteligentnejšie informačné systémy. Nakoľko je konzervatívna, zachováva softvérové aplikácie a predstavuje zásadný pokrok vzhľadom na súčasné databázy RDB, Big Data s NewSQL, databázy obmedzení, P2P systémy a aplikácie sémantického webu.
Navyše mnohohodnotová verzia IFOL môže podporovať aplikácie umelej inteligencie založené na mnohohodnotových logikách.