Логика высказываний второго порядка - Second-order propositional logic

А логика высказываний второго порядка это логика высказываний продлен с количественная оценка над предложениями. Особым случаем являются логики, позволяющие булевы предложения второго порядка, где кванторы могут находиться чуть выше логического ценности истины, или над булевозначным функции истины.

Наиболее широко известен формализм интуиционистская логика с предварительным количественным определением, Система F. Париго (1997) показал, как это исчисление можно расширить, чтобы классическая логика.

Смотрите также

• Проблема логической выполнимости
• Арифметика второго порядка
• Логика второго порядка
• Теория типов

Рекомендации

Париго, Мишель (1997). Доказательства сильной нормализации для классического естественного вывода второго порядка. Журнал символической логики 62(4):1461–1479.

Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.