On the Relevant Systems P and P* and Some Related Systems

Studia Logica 43 (1/2):33 - 49 (1984)
  Copy   BIBTEX

Abstract

In this paper we study the systems P and $P^{\ast}$ (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^{\ast}$ as their underlying logics are non-trivial

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Four Relevant Gentzen Systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Sequent-Systems and Groupoid Models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
Sequent-Systems and Groupoid Models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.
Authors' Response: Systems, Environments, and the Body.H. F. Alrøe & E. Noe - 2012 - Constructivist Foundations 8 (1):58-60.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.

Analytics

Added to PP
2013-09-30

Downloads
37 (#313,262)

6 months
1 (#418,924)

Historical graph of downloads
How can I increase my downloads?