On the theory of inconsistent formal systems

Notre Dame Journal of Formal Logic 15 (4):497-510 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891487

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,286

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

Erratum: ``On the theory of inconsistent formal systems''.Newton C. A. da Costa - 1975 - Notre Dame Journal of Formal Logic 16 (4):608-608.
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 , pp. 497–510. - Newton C. A. da Costa. The philosophical import of paraconsistent logic. The journal of non-classical logic , vol. 1 , pp. 1–19. - Newton C. A. da Costa. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 , pp. 361–371. - Newton C. A. da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 , pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
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 $\rm C$-systems of da Costa.Igor Urbas - 1989 - Notre Dame Journal of Formal Logic 30 (4):583-597.
[Omnibus Review].Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
Inconsistent number systems.Chris Mortensen - 1987 - Notre Dame Journal of Formal Logic 29 (1):45-60.
Propositional sequence-calculi for inconsistent systems.Andrés R. Raggio - 1968 - Notre Dame Journal of Formal Logic 9 (4):359-366.
From logics of formal inconsistency to logics of formal classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.
Kripke-type semantics for Da Costa's paraconsistent logic "C" w.Matthias Baaz - 1986 - Notre Dame Journal of Formal Logic 27:523-527.

Analytics

Added to PP
2010-09-01

Downloads
194 (#135,668)

6 months
27 (#133,681)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.

View all 186 citations / Add more citations

References found in this work

No references found.

Add more references