- 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
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Logic Journal of the IGPL 22 (2):268-273 (2014)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.
The pleasures of anticipation: Enriching intuitionistic logic. [REVIEW]Lloyd Humberstone - 2001 - Journal of Philosophical Logic 30 (5):395-438.
Residuated logics based on strict triangular norms with an involutive negation.Petr Cintula, Erich Peter Klement, Radko Mesiar & Mirko Navara - 2006 - Mathematical Logic Quarterly 52 (3):269-282.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
A Square of Oppositions in Intuitionistic Logic with Strong Negation.François Lepage - 2016 - Logica Universalis 10 (2-3):327-338.
Logics of formal inconsistency arising from systems of fuzzy logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
What is a genuine intuitionistic notion of falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.Norihiro Kamide - 2002 - Logic Journal of the IGPL 10 (6):653-678.
Analytics
Added to PP
2016-06-30
Downloads
24 (#644,297)
6 months
2 (#1,229,212)
2016-06-30
Downloads
24 (#644,297)
6 months
2 (#1,229,212)
Historical graph of downloads
Citations of this work
On the logic that preserves degrees of truth associated to involutive Stone algebras.Liliana M. Cantú & Martín Figallo - 2020 - Logic Journal of the IGPL 28 (5):1000-1020.
Weakening and Extending {mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.
Revisiting da Costa logic.Mauricio Osorio Galindo, Verónica Borja Macías & José Ramón Enrique Arrazola Ramírez - 2016 - Journal of Applied Logic 16:111-127.
More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133.
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (3):231-253.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-7c76586df8-qd5ph uwo