MathDB1 problem
- 0 votes0 replies0 views
Unrestricted cut elimination for constructive predicate logic with strong negation
The paper considers constructive predicate logic involving strong negation and its cut elimination theorem. Unrestricted cut-elimination conjecture. The new cut elimination theorem…