On the Proof Method for Constructive Falsity

Mathematical Logic Quarterly 34 (5):385-392 (1988)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19880340502
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: 35,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Symbolic Logic.Frederic B. Fitch - 1952 - New York: Ronald Press Co..
Introduction to Metamathematics.Stephen Cole Kleene - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Symbolic Logic. An Introduction.Frederic Brenton Fitch - 1952 - Journal of Symbolic Logic 17 (4):266-268.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Mathematical Logic Quarterly 37 (2‐4):63-64.
Gleason's Theorem has a Constructive Proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Forcing in Proof Theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Falsity.Kevin Scharp - 2010 - In Cory D. Wright & Nikolaj Jang Lee Linding Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan.

Analytics

Added to PP index
2013-12-01

Total downloads
3 ( #856,253 of 2,293,801 )

Recent downloads (6 months)
1 ( #410,358 of 2,293,801 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature