منطق کلاسیکclassical logicواژههای مصوب فرهنگستانمنطقی دوارزشی مبتنی بر یک زبان صوری و یک دستگاه استنتاجی و نیز یک دستگاه معناشناختی
سامانۀ اطلاعاتی ناهمگنheterogeneous information systemواژههای مصوب فرهنگستانمجموعهای از سامانههای اطلاعاتی ازقبیلِ مدلهای دادهای یا معناشناختی که ازلحاظ نحوی و منطقی متفاوت هستند
معنیشناسی شناختیcognitive semanticsواژههای مصوب فرهنگستاننظریهای معناشناختی که بخشی از دستورِ شناختی است و معنا را با مفهومسازی مرتبط میداند متـ . معناشناسی شناختی