Модуль Python для логики предиката более высокого порядка ⇐ Python

[Anonymous]

Большинство модулей о логике в Python, как «Sympy», не поддерживают логику второго порядка. Мне нужен модуль для сохранения моих результатов в качестве синтаксического дерева в логике второго порядка. Синтаксис должен разрешать количественное определение по сравнению с предикатами. Мне не нужны преобразования или калукулуса для этих выражений, просто программа для сохранения и отображения логических выражений второго порядка. Знайте стандартные модули, а не все проекты.

Подробнее здесь: https://stackoverflow.com/questions/794 ... cate-logic