- 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
N-Lattices and Constructive Logic with Strong Negation
Journal of Symbolic Logic 34 (1):118-118 (1969)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.
Remarks on special lattices and related constructive logics with strong negation.Piero Pagliani - 1990 - Notre Dame Journal of Formal Logic 31 (4):515-528.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
On Constructible Falsity in the Constructive Logic with Strong Negation.A. Bialynicki-Birula & H. Rasiowa - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.
Slaney's logic F is constructive logic with strong negation.M. Spinks & R. Veroff - 2010 - Bulletin of the Section of Logic 39 (3/4):161-173.
A sequent calculus for constructive logic with strong negation as a substructural logic.George Metcalfe - 2009 - Bulletin of the Section of Logic 38 (1/2):1-7.
Kripke Completeness of First-Order Constructive Logics with Strong Negation.Ichiro Hasuo & Ryo Kashima - 2003 - Logic Journal of the IGPL 11 (6):615-646.
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
Converse Ackermann property and constructive negation defined with a negation connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
Analytics
Added to PP
2015-02-05
Downloads
27 (#589,794)
6 months
3 (#976,418)
2015-02-05
Downloads
27 (#589,794)
6 months
3 (#976,418)
Historical graph of downloads
Citations of this work
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Twist Structures and Nelson Conuclei.Manuela Busaniche, Nikolaos Galatos & Miguel Andrés Marcos - 2022 - Studia Logica 110 (4):949-987.
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.
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-5ff6c685cb-cc9fg uwo