| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661899 | Annals of Pure and Applied Logic | 2012 | 11 Pages |
Abstract
We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the double-negation shift schema, while preserving the disjunction and existence properties.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
