On subsystems of the system J1 of Arruda and Da Costa

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360203

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

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

Through your library

My notes

Similar books and articles

On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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.
Paraconsistency and the J-Systems of Arruda and da Costa.I. Urbas - 1988 - Logique Et Analyse 31 (21):27.
Semantical analysis of Arruda da Costa "P" systems and adjacent non-replacement.A. Loparic - 1978 - Studia Logica 37:301.
On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14-18):243-247.
On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Mathematical Logic Quarterly 22 (1):193-194.
On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14‐18):243-247.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Mathematical Logic Quarterly 37 (9‐12):129-138.

Analytics

Added to PP
2013-12-01

Downloads
8 (#1,343,359)

6 months
5 (#711,375)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.

Add more references