On the relevant systemsP andP
* and some related systems |
| |
| Authors: | Ayda I Arruda Newton C A da Costa |
| |
| Institution: | (1) Departamento de Matemática, Universidade Estadual de Campinas, Brazil;(2) Departamento de Mathemática, Universidade de São Paulo, Brazil |
| |
| Abstract: | In this paper we study the systemsP andP
* (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matem tica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP
* as their underlying logics are non-trivial. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
