nLab affirmative proposition

Definition

In affine logic and linear logic, a proposition $P$ is a affirmative proposition if it is judgmentally equal to its exponential conjunction $!P$.

Related concepts

• proposition

• fixed point

• exponential conjunction

• affine logic, linear logic

• refutative 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)