On subsystems of the system J1 of Arruda and Da Costa

Mathematical Logic Quarterly 36 (2):95-106 (1990)


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

2 (#1,460,116)

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.

Add more references

Citations of this work

A Note on “Carnot's Logic”.Igor Urbas - 1994 - Bulletin of the Section of Logic 23 (3).

Add more citations

Similar books and articles

Belief, Contradiction and the Logic of Self-Deception.Newton C. A. da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179 - 197.
On the Logics Related to A. Arruda’s System V1.V. M. Popov - 1999 - Logic and Logical Philosophy 7:87.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.