A negationless interpretation of intuitionistic theories. I

Studia Logica 64 (1-2):323-344 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
31 (#373,918)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.

Add more citations

References found in this work

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

View all 13 references / Add more references