منطق کلاسیک

منطقی دوارزشی مبتنی بر یک زبان صوری و یک دستگاه استنتاجی و نیز یک دستگاه معناشناختی