منطق حملی مظفر بر مبنای منطق نیمه‌پیوندی

روش تحقیق در این مقاله، روش اصل موضوعی با رویکرد توصیفی-تحلیلی است؛ به این صورت که در گامل اول یک منطق گزاره‌ای غیرکلاسیک حداقلی جدید (ضعیف‌تر از منطق زیرساختاری ifle و منطق ربط rw) با نظریه برهان‌های اصل موضوعی و حساب رشته‌ای به عنوان یک منطق پایه معرفی می‌کنیم. در گام دوم با بسط آن به منطق حملی، یک تفسیر و ارزیابی جدید از منطق مظفر (به عنوان یک منطق پساسینوی در جهان اسلام) ارائه می‌شود. در گام سوم یک منطق مرتبه اول یک موضعی نیمه‌پپوندی حداقلی برای سیستم معرفی شده در گام قبل معرفی می‌کنیم. به دلیل نداشتن حساب رشته‌ها و معناشناسی استاندارد در گام چهارم، یک بسط موجهاتی از سیستم معرفی شده در گام قبلی با نظریه برهان‌های اصل موضوعی و حساب رشته‌های استاندارد، و معناشناسی جبری به سبک تارسکی ارائه می‌گردد، و در گام آخر بعضی ملاحظات فلسفی همچون نشان دادن عدم تعهد وجودی به نام‌های عام در منطق حملی مظفر را بررسی می‌کنیم.از یافته‌های این پژوهش می‌توان به موارد زیر اشاره نمود: 1. منطق حملی مظفر تنها بر پایه‌ی ضرب‌های barbara و datisi، قواعد نقض محمول (2 تعریف و 4 اصل)، قواعد عکس ساده (2 اصل) و مربع تقابل (3 اصل)، مجموعاً با 11 اصل موضوع قابل صورتبندی است. 2. با استفاده از منطق‌های نیمه‌پیوندی می‌توان با ترجمه‌ی استاندارد محصورات اربعه و با حفظ فراقاعده‌ی جانشینی، تفسیر جامع و مانعی از منطق مظفر ارائه داد. 3. پژوهش در زمینه حساب رشته‌های استاندارد در حوزه‌ی منطق تطبیقی از دیگر نوآوری‌های این مقاله است. که به صورت موردی در منطق حملی مظفر و منطق پیوندی محقق می‌شود. 4. با استفاده از دو مجموعه‌ی مرتب جزئی، می‌توانیم ساختار شبکه (عطف و فصل معمولی) را به صورت سازگار به منطق پیوندی بیافزاییم. به این صورت که شرطی پیوندی نسبت به ترتیب شبکه غیریکنوا اما نسبت به ترتیب دیگر، یکنوا است.