Notes on N-lattices and constructive logic with strong negation

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

Authors
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF02121118
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,049
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.

View all 41 citations / Add more citations

Similar books and articles

On Extensions of Intermediate Logics by Strong Negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
N-Lattices and Constructive Logic with Strong Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-118.
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.

Analytics

Added to PP index
2009-01-28

Total views
23 ( #370,190 of 2,260,175 )

Recent downloads (6 months)
9 ( #132,650 of 2,260,175 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature