Arithmetical necessity, provability and intuitionistic logic

Theoria 44 (1):38-46 (1978)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1111/j.1755-2567.1978.tb00831.x
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,810
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
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Intuitionistic Logic, Model Theory and Forcing.Melvin Fitting - 1969 - Amsterdam: North-Holland Pub. Co..

View all 8 references / Add more references

Citations of this work BETA
Intuitionistic Logic and Modality Via Topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.
Mathematical Modal Logic: A View of its Evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.

View all 10 citations / Add more citations

Similar books and articles
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Fuzzy Logic and Arithmetical Hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
Four Views of Arithmetical Truth.Charles Sayward - 1990 - Philosophical Quarterly 40 (159):155-168.
Added to PP index
2010-09-13

Total downloads
33 ( #161,400 of 2,202,780 )

Recent downloads (6 months)
2 ( #150,076 of 2,202,780 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature