- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the theory of inconsistent formal systems
Recife: Universidade Federal de Pernambuco, Instituto de Matemática (1972)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On the theory of inconsistent formal systems.Newton da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Erratum: "On the theory of inconsistent formal systems".Newton C. A. da Costa - 1975 - Notre Dame Journal of Formal Logic 16 (4):608-608.
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.
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.
Curry Haskell B.. A theory of formal deducibility. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, ix + 126 Seiten.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
Analytics
Added to PP
2009-01-28
Downloads
99 (#520,489)
6 months
14 (#869,043)
2009-01-28
Downloads
99 (#520,489)
6 months
14 (#869,043)
Historical graph of downloads
Author's Profile
Citations of this work
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.
Theories of truth based on four-valued infectious logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
References found in this work
Propositional sequence-calculi for inconsistent systems.Andrés R. Raggio - 1968 - Notre Dame Journal of Formal Logic 9 (4):359-366.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation