منطق موجهات کلاسیک

در منطق موجهات، منطق موجهات کلاسیک ، هر منطق موجهاتی است که حاوی دوگانگی عملگرهای وجهی (به عنوان اصل یا قضیه) باشد.

که همچنین تحت قاعده بسته است.

از طرف دیگر، می‌توان تعریف دوگانه‌ای از L ارائه داد که به موجب آن، L کلاسیک است اگر و تنها اگر شامل (به عنوان بدیهیات یا قضیه) باشد.

و تحت قاعده بسته است.

ضعیف‌ترین دستگاه کلاسیک گاهی اوقات به عنوان E شناخته می‌شود و منطق وجهی نرمال است. هر دو معناشناسی جبری و همسایگی دستگاه‌های موجهات کلاسیک آشنا را مشخص می‌کنند که ضعیف‌تر از ضعیف‌ترین منطق موجهات معمولی K هستند.

هر منطق موجهات منظم، کلاسیک است و هر منطق وجهی نرمال، منظم و در نتیجه کلاسیک است.

 چلاس، برایان. منطق مدال: مقدمه . انتشارات دانشگاه کمبریج، 1980.

منطق موجهات