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

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

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

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

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

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

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

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

• v
• т
• е