Light Dialectica revisited |
| |
Authors: | Mircea-Dan Hernest Trifon Trifonov |
| |
Institution: | a CMAF, University of Lisbon, Portugal b Mathematics Institute, University of Munich, Germany |
| |
Abstract: | We upgrade the light Dialectica interpretation (Hernest, 2005) 6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An illustrative example is presented for the new light quantifiers and a new application is given for the older uniform quantifier. The realizability of new light negative formulations for the Axiom of Choice and for the Independence of Premises is explored in the new setting. |
| |
Keywords: | 03D15 03D65 03F20 03F10 |
本文献已被 ScienceDirect 等数据库收录! |
|