nLab refutative proposition

Definition

In affine logic and linear logic, a proposition $P$ is a refutative proposition if it is judgmentally equal to its exponential disjunction $?P$.

Related concepts

• proposition

• fixed point

• exponential disjunction

• affine logic, linear logic

• affirmative proposition

 References

• Michael Shulman, Affine logic for constructive mathematics. Bulletin of Symbolic Logic, Volume 28, Issue 3, September 2022. pp. 327 - 386 (doi:10.1017/bsl.2022.28, arXiv:1805.07518)