Notes on N-lattices and constructive logic with strong negation

Studia Logica 36 (1-2):109-125 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02121118

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
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.
N-Lattices and Constructive Logic with Strong Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
Remarks on special lattices and related constructive logics with strong negation.Piero Pagliani - 1990 - Notre Dame Journal of Formal Logic 31 (4):515-528.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
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.
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.
Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.
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.
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.
On Constructible Falsity in the Constructive Logic with Strong Negation.A. Bialynicki-Birula & H. Rasiowa - 1970 - Journal of Symbolic Logic 35 (1):138-138.

Analytics

Added to PP
2009-01-28

Downloads
39 (#406,659)

6 months
4 (#776,943)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.

View all 68 citations / Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references