منطق

علم الدلالة, فلسفة, معرفة عامة, منطق

باروكو (Baroco)

فلسفة, مصطلحات, معرفة عامة, منطق

باراليبتون (Baralipton)

التحقق الرسمي, علم الحاسوب, منطق, هندسة البرمجيات

منطق الفصل (Separation Logic)

برمجة, ذكاء اصطناعي, قيود, منطق

البرمجة المنطقية المقيدة (Constraint Logic Programming)

الذكاء الاصطناعي, علوم الحاسوب, فلسفة, منطق

المنطق الرباعي القيم (Four-valued logic)

علم البلاغة, فلسفة, مغالطات منطقية, منطق

الأننغيون (Anangeon)