Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: On The Relevant Systems P And P* And Some Related Systems
Author: Arruda A.I.
da Costa N.C.A.
Abstract: In this paper we study the systems P and P* (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 having P and P* as their underlying logics are non-trivial. © 1984 Polish Academy of Sciences.
Editor: Kluwer Academic Publishers
Rights: fechado
Identifier DOI: 10.1007/BF00935738
Date Issue: 1984
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
2-s2.0-34250142731.pdf874.28 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.