basic constructions:
strong axioms
further
In affine logic and linear logic, a proposition $P$ is a refutative proposition if it is judgmentally equal to its exponential disjunction $?P$.
Created on September 6, 2024 at 18:20:49. See the history of this page for a list of all contributions to it.