لماذا يجب أن تتعلم عن المنطق الخطي

المنطق الخطي Linear logic- هو شكل منطقي اقترحه عالم المنطق الفرنسي جان إيف جيرار من أجل تحسين كل من: المنطق الكلاسيكي والمنطق الحدسي، جامعًا بين ثنائيات الأول والعديد من الخصائص البنائية للثاني. وعلى الرغم من هذا المنطق درس لذاته، إلا أن أفكاره كانت مؤثرة بشكل أوسع في مجالات كثيرة منها: لغات البرمجة، ودلالات الألعاب، وفيزياء الكم (لأن المنطق الخطي يُمكن اعتباره منطق نظرية المعلومات الكمومية)، بالإضافة إلى اللغويات، لا سيما بسبب تركيزه على محدودية الموارد، والثنائية، والتفاعل.