On subsystems of the system J1 of Arruda and Da Costa


This article has no associated abstract. (fix it)

Download options


    Upload a copy of this work     Papers currently archived: 72,879

External links

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

Through your library


Added to PP

23 (#498,366)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Foundations of Mathematical Logic.Haskell Brooks Curry - 1963 - New York, NY, USA: Dover Publications.
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

On Subsystems of the System J1 of Arruda and Da Costa.Igor Urbas - 1990 - Mathematical Logic Quarterly 36 (2):95-106.
Belief, Contradiction and the Logic of Self-Deception.Newton C. A. da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179 - 197.
Non-Classical Logics, Model Theory and Computability.[author unknown] - 1980 - Critica 12 (34):154-158.
A Partial Model of NF with ZF.Nando Prati - 1993 - Mathematical Logic Quarterly 39 (1):274-278.
On the Logics Related to A. Arruda’s System V1.V. M. Popov - 1999 - Logic and Logical Philosophy 7:87.
On the Logics Related to A. Arruda's System V1.V. M. Popov - 1999 - Logic and Logical Philosophy 7:87-90.