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