المنطق الحر

المنطق الحر ، هو منطق يحتوي على افتراضات وجودية أقل من المنطق الكلاسيكي. قد تسمح أنظمة المنطق الحرة بالجمل التي لا تشير إلى أي كائن. قد تسمح أنظمة المنطق الحرة أيضًا بالنماذج التي تحتوي على مجال فارغ . المنطق الحر مع الخاصية الأخيرة هو منطق شامل.

 المراجع 

تصنيف:المنطق غير الكلاسيكي