Пропозициональная логика второго порядка
— Пропозициональная логика второго порядка это пропозициональная логика, расширенная количественной оценкой предложений. Особым случаем являются логики, которые допускают булевы предложения второго порядка , где кванторы могут располагаться либо чуть выше булевых значений истинности , либо выше булевых функций истинности .
Наиболее широко известным формализмом является интуиционистская логика с непредикативной квантификацией, Система F. Париго (1997) показал, как это исчисление можно расширить, чтобы допустить классическую логику .
См. также
[ редактировать ]- Истинная количественная булева формула
- Арифметика второго порядка
- Логика второго порядка
- Теория типов
Ссылки
[ редактировать ]- Париго, Мишель (декабрь 1997 г.). «Доказательства сильной нормализации для классической естественной дедукции второго порядка» . Журнал символической логики . 62 (4) (опубликовано 12 марта 2014 г.): 1461–1479. дои : 10.2307/2275652 . ISSN 0022-4812 . JSTOR 2275652 .
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |