- 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
Revisiting da Costa logic
Journal of Applied Logic 16 (C):111-127 (2016)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
Equivalence for the G 3 ′ -stable models semantics.José Luis Carballido, Mauricio Osorio & José Ramón Arrazola - 2010 - Journal of Applied Logic 8 (1):82-96.
A new axiomatization of Jaśkowski's discussive logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Belief, Contradiction and the Logic of Self-Deception.Newton C. A. da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179-197.
Critical Study of Da Costa's Foundations of Logic.Lorenzo Peña - 1982 - Logique Et Analyse 100:447-66.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Analytics
Added to PP
2016-06-30
Downloads
90 (#601,320)
6 months
16 (#710,878)
2016-06-30
Downloads
90 (#601,320)
6 months
16 (#710,878)
Historical graph of downloads
Author's Profile
Citations of this work
The Pursuit of an Implication for the Logics L3A and L3B.Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2017 - Logica Universalis 11 (4):507-524.
An axiomatic approach to CG′3 logic.Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2020 - Logic Journal of the IGPL 28 (6):1218-1232.
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
References found in this work
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
Paraconsistent logic from a modal viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
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